« 19th and 20th - Wed April 9 | Main | No class today! »

Logic - Wed Apr 9

We reviewed the restrictions on the rules UI, UG, EI, and EG, and introduced the new rule QN. We also worked through a bunch of proofs from exercises 9-3 and 9-5.

For Fri.: read through p. 230

Post a comment

The views and opinions expressed in this page are strictly those of the page author. The contents of this page have not been reviewed or approved by the University of Minnesota.