Number | Due | Problems |
1 | Sep 13 | 1.2.2, 1.2.3, 1.3.1, 1.3.4, 1.4.4, 1.4.6, 1.4.7, 1.4.8 |
2 | Sep 20 | 1.5.1, 1.5.2, 1.5.3, 1.6.1, 1.6.2, 1.6.5, 1.7.1, 1.7.4, 1.7.7 Examine the proofs of Lemma 1.7.6 and Proposition 1.7.7 carefully (c.f. problem 1.7.6) |
3 | Sep 27 | 1.8.2, 1.8.6, 1.9.4
Give an example of a formula like the one in the Q1 axiom, but where t is not substitutable for x in φ, and where the resulting formula is not valid. Give an example of a pair like the QR inference, but where x is free in ψ, and where the resulting inference rule is not sound. |
4 | Oct 4 | 2.4.4, 2.4.5, 2.5.1, 2.5.2, 2.5.4, 2.7.1, 2.7.7, 2.8.4 |
5 | Oct 18 | 3.2.1, 3.2.6b, 3.3.1, 3.3.3, 3.3.5, 3.3.10, 3.4.3, 3.4.4 |
6 | Nov 8 | 4.2.3, 4.5.1, 4.5.2, 5.3.1, 5.3.2, 5.3.3, 5.3.4, 5.3.5 |
7 | Nov 22 | 5.3.13, 5.5.2 (use either coding method), 5.6.1, 5.8.1, 5.8.6, 5.10.1 |
8 | Dec 6 | 6.2.3, 6.2.4, 6.2.5, 6.3.3, 6.6.1, 6.6.3 (solution to 6.6.3) |