Syllabus

Class Notes

Handouts

Assignments

Homework Solutions

Readings

Links

Test #6 (The Final)

Test #6 will cover Full Predicate Logic, including identity theory, as well as functions and second-order quantification (§8.6-§8.7 in Hurley, plus the last two lessons of the course, which are not covered in Hurley).

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

For preparation, see the Practice Problems for Test #6 (and their solutions).