Symbolic logic and Methods of Deduction

1. Formal Proof of Validity

2. The Elementary Forms of Valid Arguments

3. The Rules of Replacement: and logically equivalent Expressions