Logic - Tues April 22
We talked a little more about proof strategy. We then got into groups and worked on Exercise 10-9. Finally, we worked through a couple of proofs from 10-10.
HW #13: Ex 10-10 (all odds), 10-11 (#1 only) – only one more after this!
Hint on 10-10, #7: instantiate with u, v, and w (don't use x, y, or z).
For Wed.: no new reading!