Syllabus [PDF]
Lecture #1 slides [PDF]
Semantics for sentential (propositional) logic [PDF]
Derived rules [PDF]
Assignment #5 [PDF]
Midterm exam review [PDF]
Midterm review solutions
Assignment #7 [HTML]
Midterm exam solutions
Semantics for QL (Part I) [PDF]
The finite universe method [PDF]
Assignment #8 [PDF]
What can be said with QL (part I) [PDF]
Assignment #9 [PDF]
Assignment #10 [PDF]
Semantics for QL (Part II) (Interpreting relations and function symbols) [PDF]
What can be said with QL (part II) [PDF]
Final exam review [HTML]