Lecture 8

We did the subset proof in section 5.12, fairly quickly. Then we looked at the definitions of relation properties, especially vacuous truth cases, and did sample proofs of antisymmetry and transitivity.

Announcements

• The ACM student chapter is running its big Reflections/Projections conference October 2-5. Everyone should go! Also, they are looking for volunteers. If you're interested in helping (a good chance to meet fun people), here is the sign up form.