Logic - Wed Feb 27
We basically finished up Chapter 4 today. At the end of class, we began working on Exercise 4-11, #7. Here's a big juicy hint: The proof can be completed in 3 steps (4 lines altogether), using Dist, Simp, and Comm (though not necessarily in that order).
Reading for Fri: through p. 138