Lecture 8

We did the set theory proof from section 5.13 and then covered highlights of chapter 6 (relations).

• Thre ideas from logic/proofs: vacuous truth, 2 differently named variables might be equal, proof by contrapositive
• Apply these ideas to testing the five properties of relations.
• We did the proof in 6.7.

The proof from 6.6 was left until Tuesday.

Announcements

• Midterm is Tueday, October 2nd, in class.
• The first honors homework is now available on our web site, due October 12.
• Homework 3, homework 1 solutions are now posted. More stuff should appear today/tomorrow.
• There is a poll on piazza about ways to upload figures for later assignments. Do participate.