Homework Assignment 2
Due: Thursday, February 5, 2008
- Exercises 1.3: 8.
- Exercises 1.4: 6., 12.(b)
- Exercises 1.5: 3., 7.(c), 15.(a), (e)
Also:
- Do two more cases of the soundness proof (covered in lectures of
1/20 and 1/22 and Theorem 1.35 p. 46 of text): negation introduction and bottom
elimination.
- Do another case of the completeness proof (covered in lecture of 1/22
and Proposition 1.38 p. 51 of text): the or operator and its subcases.
There are really only three subcases because two of them are symmetric.