Test #3
Test 3 will cover natural deductions, including conditional and indirect proof, §7.1-7.7. All 18 rules will be presumed.
Here is a practice exam, about as long and as difficult as the actual test.
§7.5: I.8, 16
§7.6: I.7, 18
§7.7:12, 18
Russell Marcus, Instructor. Email me.
Hamilton College, Fall 2010
Mondays, Wednesdays, Fridays: 9am - 9:50am
Benedict 207
Test 3 will cover natural deductions, including conditional and indirect proof, §7.1-7.7. All 18 rules will be presumed.
Here is a practice exam, about as long and as difficult as the actual test.
§7.5: I.8, 16
§7.6: I.7, 18
§7.7:12, 18