Learning Objectives

To master a system of natural deduction for statement logic.

To be able to apply eight implicational rules of inference correctly (and to identify incorrect applications).

To be able to apply ten equivalence rules correctly (and to identify incorrect applications).

To acquire facility in completing direct proofs (i.e., proofs that do not involve assumptions).

To acquire facility in two types of proofs that involve assumptions, namely, Conditional Proof and Reductio ad Absurdum.

To acquire skill in the process of (a) symbolizing complicated English arguments accurately and (b) constructing proofs to show them valid.

To acquire facility in proving theorems.