1) Review the proof of De Morgan's Law 2) Emphasize p->q is equivalent to (not p or q) 3) Talk about following problems: 1.1.37(a), 1.3.31, 1.4.17, 1.5.31, 1.6.15(a)(b), 1.7.7