Philosophy 240: Symbolic Logic

Russell Marcus, Instructor. Email me.

Hamilton College, Spring 2008

Preparation for Test 4

Test 4 will cover natural deductions, including conditional and indirect proof, §7.1-7.7. All 18 rules will be presumed, and you may not have a copy of the rules with you during the exam.

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

§7.5: I. 8, 16, 17
§7.6: I.7, 16, 18, 19
§7.7:11, 12, 17