Solutions to this week's homework are posted on the schedule page. In addition to the answers we provided in class, I have posted an explicit predicate logic proof of the first derivation. Even if you are happy with your understanding of what we did today, it is useful to see that it is possible to create explicit predicate logic proofs that appeal to the set-theoretic definitions in each step. It will also show you why we almost never do this.

For Tuesday, finish the proofs from this page, turning in numbers 6 and 7. Also finish reading 2.2 lecture slides and read 2.3 slides on functions as well.

Thursday's homework will come from this page, but we may do some of it on Tuesday, so I will wait until then to assign specific problems to turn in.