Quantifiers and Inference

Due Wednesday, 23 September, 2009

To hand in on paper in class:

Rosen, Section 1.3, pp. 47-49: Exercises 6, 8, 10, 44
   Section 1.4, pp. 59-61, Exercises 10, 30
   Section 1.5, p. 72, Exercises 4, 6

The assignment is worth 100 points.