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.

2002 McGraw-Hill Higher Education
Any use is subject to the Terms of Use and Privacy Policy.
McGraw-Hill Higher Education is one of the many fine businesses of The McGraw-Hill Companies.