Techniques of Derivation and Rules of Inference

In Chapter 2, the derivation method was introduced and an example was given. Let us look a little more carefully at the derivation method and investigate other rules having to do with determining validity, first with statements, then with quantified predicates. For convenience, we restate the derivation method.