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. |