Homework Assignment 4
Due: Thursday, March 12, 2009
- Exercises 2.3: 13. (d)
- Exercises 2.4: 5.
- Exercises 2.5: 1. (d), 2.
- Also: In class on February 19, we did one case of the induction step in the
proof of the soundness principle for predicate logic: for all introduction.
Do another case: there exists elimination.