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)
