Handouts 
Assignments 


Syllabus

Assignment #1 
Proof Strategy 
 Help on homework 1 
Additional Problem Set 
Assignment #2 
Sample
InClass Exam 1 

Help on homework 2 (> rules) 
Notes on the Soundness Theorem 
Assignment #3
(due 28) 
Take Home Exam 1 (due38) 
 Help on homework 3 (&,v rules) 

Assignment #4
(due 215) 
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 222) 
Diagrams 

Help on homework 5 (Full
Tables) 


More help (short tables) 
Sample InClass Exam 2 
Assignment #6 (due 322) 


Help on homework 6 (Soundness) 
Harder Proofs from 43 
Assignment #7 (due 329) 


Help on homework 7 (Universal Proofs) 
Careful explanation of
the EE rule 
Assignment #8 (due 45) 

 Help on homework 8
(Existential Proofs) 
QE shortcut proof rules 
Assignment #9 (due 426) 

 Basic Semantics 
Identity
Proof Rules 
 Help on homework 9 (Building Models) 


Take Home Exam #2
(due 55) 

Sample Take
Home Problem 
Sample Final Exam 