PHI 201: Introductory Logic

[Home] [Schedule] [Handouts] [Links]

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]

Created and maintained by: H. Halvorson
Last modified: December 17, 2001