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), with emphasis on identity theory.
The test consists of two parts: translation and derivation. In the first part, you will be asked to regiment (but not prove) four arguments. In the second part, you will be given four arguments in logical notation and asked to derive their conclusions. 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).