Hi all,

You will find this set of homework a bit longer than usual, as I assigned some old problems for you to review for the midterm.

Section 1.1: 1

Section 1.2: 8 (only do (a) and (b): is (a) equivalent to (b)?), 13

Section 1.3: 3

Section 1.4: 1, 5(a)

Section 1.5: 3, 5, 10

Section 2.2: 2, 5 (read pages 68 and 69, using bounded quantifier laws), 7

Section 2.3: 1