Philosophy 201, Introductory Logic

Spring 2012

• Homework 1
• Homework 2
• Homework 3
• Homework 4
• Homework 5
• Homework 6
• Homework 7
• Homework 8
• Homework 9
• Homework 10
• Practice final exam
• Key for practice final
• Completeness of the predicate calculus
• Completeness of the propositional calculus
• Semantics for predicate logic
• Some useful predicate logic proofs
• Solutions to selected problems in the Lemmon book.
• Practice Midterm Exam
• More Practice Proofs