The course outline for symbolic logic (as at this present time) is as follows;
1. Conditional proof (C.P.)
2. Indirect proof (I.P.)
3. Reduction ad absurdum.
4. Proof of tautologies (using conditional and indirect proofs).
5. The strengthened rule of conditional proof.
6. Quantification.
7. Sets.
