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/
Handouts Assignments Syllabus 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