Philosophy 240: Symbolic Logic

Russell Marcus, Instructor. Email me.

Hamilton College, Spring 2008

Preparation for Test 6

Test 6 will cover derivation in predicate logic, §8.2-§8.4, as well as proofs of invalidity, §8.5. There will be no translation.

Here is a practice exam, about twice as long as the actual test.

§8.2: I.6, 14
§8.3: I.9, 12
§8.4: I.7, 8, 15
§8.5: II.7, 8, 9

There are more practice problems available here, with sample solutions here.