Homework Assignment 2
Due: Tuesday, February 21, 2011
- Exercises 1.3: 8.
- Exercises 1.4: 6., 12.(e)
- Exercises 1.5: 3., 4., 15. (e)
Also:
- Do two more cases of the soundness proof (covered in lectures of
1/19 & 1/24 and Theorem 1.35 p. 46 of text): negation introduction and bottom
elimination.
- Do another case of the completeness proof (covered in lectures of 1/24 & 1/26
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.