So you wanna be the very best? Like no one ever was?

I'm talking about catching wild logic rules, of course!

So today on LOGICMON Recitation we're going to do a bunch of different stuff.

First, I thought that maybe we could do some more examples of constructing proof trees for various statements in the simple Natural Deduction system you've all been using for the homework.

Then, I thought we could maybe talk a little bit about the new wacky set of deduction rules that Professor Gallier introduced right toward the very end of last class. Hopefully I can assuage your fears and convince you now is not yet the right time to give up on math and become a lonely goatherd in a quiet town outside of Zurich in the foothills of the Alps.

And then, if we have time, maybe I'll tell you the story of the Constructivists, and how they stole christmas changed mathematics.
Allons-y! Back to CIS160 Page