Symbolic Logic Homework Assignments

                            Fall 2001

You will need to purchase at least one floppy disk (available in the bookstore) to
put your homework files on.  Homework assignments should be submitted (and/or turned
in, as appropriate) on or before the due date.  Submit your homework to the grade grinder
except when noted on the assignment.  In Submit, list the name of your instructor as
Raymond D. Gumb, with email address gumb@cs.uml.edu.  In the text message that you
add to the submission, be sure to include your name, the homework number, the due date,
and any other useful information.  Include the same information on homework papers that
you turn in.

1. Due Monday, September 10.
Follow the instructions in the "You try it", pp. 8-10.

2. Due Monday, September 17.
Exercises 1.1 to 1.6, pp. 25-27.

3. Due Monday, September 24.
Exercise 1.9,  p. 30.
Exercise 1.14, p. 35.
Exercise 1.19, p. 38.
Exercise 2.1,  p. 44.
To do Exercise 1.14, you  need to do Exercise 1.13 first, but you do
not need to turn in  Exercise 1.13.  Exercise 2.1 calls for parts
1-3 to be turned in on paper and part 4 to be submitted to the
Grade Grinder.

4. Due Monday, October 1.
Exercises 2.15 to 2.20, p. 62.
Exercise  2.21,         p. 65.
Exercise  2.24 to 2.27, p. 66.

5. Due Monday, October 15.
Exercise 3.2,  p. 70.
Exercise 3.6,  p. 73.
Exercise 3.9,  p. 77.
Exercise 3.14, p. 81.
Exercise 3.23, p. 88.

6. Due Monday, October 22.
Exercise 4.2,  p. 104.
Exercise 4.18, p. 109.
Exercise 4.23, p. 113.
Exercise 4.27, p. 116.
Exercise 4.31, p. 120.

7. Due Monday, October 29.
Exercise 4.39, p. 125.
Exercise 6.2,  p. 154.
Exercise 6.3,  p. 154.
Exercise 6.5,  p. 154.
Exercise 6.7,  p. 161.

8. Due Monday, November 5.
Exercise 6.10, p. 162.
Exercise 6.16, p. 163.
Exercise 6.19, p. 166.
Exercise 6.29, p. 172.
Exercise 6.36, p. 175.

9. Due Wednesday, November 14.
Exercise 7.3,  p. 183.
Exercise 7.12, p. 184-5.
Exercise 7.13, p. 185.
Exercise 7.26, p. 194.

10. Due Monday, November 19.
Exercise 8.18, p. 212.
Exercise 8.26, p. 212.
Exercise 8.31, p. 213.
Exercise 8.44, p. 223.

11. Due Wednesday, November 28.
Exercise 8.38, p. 213.
Exercise 8.46, p. 223.
Exercise 9.2,  p. 234.
Exercise 9.5,  p. 238.

12. Due Wednesday, December 5.
Exercise 9.9,  p. 241.
Exercise 9.14, p. 243.
Exercise 9.17, p. 248-249.
Exercise 9.26, p. 256.