Lecture 8 (9 February)
We discussed some issues from the quiz, most notably:
- vacuous truth in testing for transitivity
- linear orders are a subtype of partial orders
We also did exercises on
- a geometrical equivalence relation (rays in 3D)
- a geometrical partial order (circle containment)
- proving a relation property for one of the above examples
Announcements
- The first midterm is two weeks from now (23 February), in class.
If you need special accommodations, make sure Margaret and Lenny
have the details. If you need extended time and/or a quiet environment,
it's usually easiest to book a room at DRES. Do this now, because they
need about a week's lead time.