Test #6 (The Final)
Test #6 will cover Full Predicate Logic, including relational predicates, identity theory, as well as functions and second-order quantification (§3.8-§3.14).
The test consists of two parts: translation and derivation.
In the first part, you will be asked to regiment (but not prove) four arguments. This part will be worth 52% of the exam grade.
In the second part, you will be given four arguments in logical notation and asked to derive their conclusions. You need not employ the rules of passage (§3.9), but you may if you wish. This portion of the exam will be worth 48% of the grade.
Functions will appear in both parts of the exam, but second-order quantification will only appear in the translations.
For preparation, see the Practice Problems for Test #6 (and solutions). (To be posted shortly)