« 19th and 20th - Fri March 7 | Main | Logic - eGradebook update »

Logic - Friday March 7

We introduced the indirect proof rule, IP, and worked through a number of proofs that use it.

Reading for Mon: through p. 153

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.