Here is the homework for Thursday. Turn in the blue ones and try to have attempted problems 1-7.

This homework permits the use of equivalences from propositional and predicate logic. We'll start class by reviewing them, but you will find a summary of propositional logic equivalences in the propositional logic materials labeled Ch 4.4 (and here for convenience.) You will also find a summary of the quantifier equivalence rules under the predicate calculus materials labeled Ch 8 (and here for convenience.) This summary also contains the derivation rules for identity, which you may ignore for the time being.

I'll have solutions from today's homework posted by tomorrow morning.