**Homework**

- Homework 0
- Homework 1
- Homework 2
- Homework 3
- Homework 4
- Homework 5
- Homework 6
- Homework 7
- Homework 8
- Homework 9

**Lecture Notes**

- Feb 3
- Diagram of the sixteen types of sentences built from two atomic sentences.
- Semantics for the predicate calculus.

**Other**

- Practice final exam
- Solutions to the practice final, and more solutions.
- Fun with algorithms. A supplementary handout from the legendary Brett Sherman.
- Terms and definitions for the midterm exam.
- Practice midterm exam
- Stage 1 inference rules
- Truth Tables
- Some useful validities and equivalences
- Some tips on doing proofs from Brett Sherman (a preceptor for this course in 2004).