Syllabus (pdf)

What Follows

Solutions Manual

Class Notes

Handouts and Assignments

Readings

Links

Test #4

Test 4 will cover only translations into and out of predicate logic. Here is a practice exam, a bit longer than the actual test.

Part I:

§3.1c: 11-16, 31-35, 50, 53

Part II:

3.1d: 5, 6