To Joel's Homepage

**Philosophy 211 - Elementary Logic **

**Fall 2006**

--Please check back here often as I will shortly begin regularly posting assignments and comments.

--An online site dedicated to our text *Logic Primer* can be found at:
http://logic.tamu.edu/

HandoutsAssignmentsSyllabus Assignment #1 - Help on homework 1 Proof strategy in SL Assignment #2 Extra practice problems - Help on homework 2 Sample In-Class Exam 1 Assignment #3 Take Home Exam 1 (due 10-24) - Help on homework 3 Proof of the Soundness Theorem Assignment #4 - Help on homework 4 (the RAA rule) Translation in PL part 1 - Help on homework 4 (using derived rules) Assignment #5 Translation in PL part 2 - Help on homework 5 (basic truth-tables) - Help on homework 5 (indirect truth-tables) Problems from in class - Help on homework 5 (more examples) Assignment #6 Sample In-Class Exam 2 Sample In-Class Exam Answers Assignment #7 due 10-14 - Help on homework 7 (" rules) Quantifier Exchange Rules Assignment #8 due 10-21 Problem from class 11-21 - Help on homework 8 ($ rules) Additional Diagram Problems - Diagrams Assignment #9 Take home #2 (due 12-14) - Identity proof rules Sample Take Home answer - Semantics of PL Metatheory definitions Sample Final Exam