7.3 Derived rules

In some books or tutorials more rules are allowed (apart from the basic 9) in order to deal with formulas more easily. They represent an abstraction: stop working in the details to dedicate our work in more complex problems (it's like the high level programming languages).

If you decide to use them, you will lose a lot of interesting work to do, but you will finish faster. My advice is to only use a rule if you know how to prove its validity by using the 9 basic rules.

Some of the ones I found at several places are:

There are lots more; but if someone requests you an exercise, they will tell you which rules are allowed and which not (for instance, in class we were allowed to use only the basic ones).

Daniel Clemente Laboreo 2005-05-17