« 19th and 20th - Wed May 7 | Main | It's a bird... It's a plane... It's... »

Logic - Wed May 7

We discussed some important properties of relations and worked through a bunch more symbolizations in relational predicate logic with identity.

I'm pretty sure my symbolization of "In China some couples have more than two children" was the longest logical formula I have ever written in my life (about 25 feet, across two blackboards!).

Reminder: participation logs due Friday

On Friday: Prove it or Lose It! (with Zip Martin)

gameshow.jpg

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.