To Joel's Homepage

Philosophy 211 - Elementary Logic 

Spring 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
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