To Joel's Homepage
Philosophy 211 - Elementary Logic
--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 Proof Strategy - Help on homework 1 Additional Problem Set Assignment #2 Sample In-Class Exam 1 - Help on homework 2 (-> rules) Notes on the Soundness Theorem Assignment #3 (due 2-8) Take Home Exam 1 (due3-8) - Help on homework 3 (&,v rules) Assignment #4 (due 2-15) Translation in Predicate Logic (part 1) - Help on homework 4 (RAA rule) Translation in Predicate Logic (identity) - More help (DeM and NegCon) Assignment #5 (due 2-22) Diagrams - Help on homework 5 (Full Tables) - More help (short tables) Sample In-Class Exam 2 Assignment #6 (due 3-22) - Help on homework 6 (Soundness) Harder Proofs from 4-3 Assignment #7 (due 3-29) - Help on homework 7 (Universal Proofs) Careful explanation of the EE rule Assignment #8 (due 4-5) - Help on homework 8 (Existential Proofs) QE shortcut proof rules Assignment #9 (due 4-26) - Basic Semantics Identity Proof Rules - Help on homework 9 (Building Models) Take Home Exam #2 (due 5-5) Sample Take Home Problem Sample Final Exam