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
« 19th and 20th - Wed April 9 | Main | No class today! »
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