Note: The reading assignments are in the course outline at the end of the syllabus.
| Date Due | Extra Credit Assignment |
|---|---|
| 2/6/04 |
EC 01. The first of the four sets of SC theorems assigned as homework from Chapter 6 in Mates. EC 02. The second of the four sets of SC theorems assigned as homework from Chapter 6 in Mates. EC 03. The third of the four sets of SC theorems assigned as homework from Chapter 6 in Mates. EC 04. The fourth of the four sets of SC theorems assigned as homework from Chapter 6 in Mates. EC 05. For each of items (f)-(j) of Problem 5 at the end of Chapter 6 in Mates, do each of the following things: (1) list the BTFCs; (2) construct an associated SC sentence; (3) use the truth-table method to determine whether or not the associated SC sentence is a tautology. |
| 4/2/04 |
EC 06. Theorems of Logic 1-3, 5-7, and 9-12 on pp. 127-128. EC 07. Theorems of Logic 13-15, 17-19, and 21-24 on pp. 128-130. EC 08. Problem 7 at the end of Chapter 3 in Mates (note that the problem has two parts), EC 09. Prove assertion (3) on p. 65 in Chapter 4 in Mates. EC 10. Prove assertion (11) on p. 65 in Chapter 4 in Mates. EC 11. Prove assertion (14) on p. 65 in Chapter 4 in Mates. EC 12. Prove assertion (16) on p. 65 in Chapter 4 in Mates. EC 13. Prove assertion (18) on p. 65 in Chapter 4 in Mates. EC 14. Do the even-lettered items in Problem 1 at the end of Chapter 8 in Mates on p. 150, and do Problem 2 at the end of Chapter 8 in Mates on p. 150 for Theorems of Logic 2,4,6,8, and 10 on pp. 127-128. EC 15. Do Problem 3 at the end of Chapter 8 in Mates on p. 150 for Theorems of Logic 2,4,8,10,12, 18, and 20 on pp. 127-129. EC 16. Do Problems 10 and 11 at the end of Chapter 7 in Mates on pp. 131-132. For each argument, make sure that you write out the interpretation relative to which you’re doing your translation. |
| 5/3/04 |
EC 17. Prove Theorems 12-18 on p. 156 in Chapter 9 in Mates.
Also, two mega-extra-credit options: These super-duper extra credit proofs are due on the day of the final. You may, of course, if you wish, submit them earlier, and if you submit them early enough for me to get them graded in time, they might even put you in a position to skip the final! In both cases, you’re required to prove everything—even things Mates left unproved in his proofs in Chapter 8.
MEC I: Prove the soundness of the rules of either W´ or Mates’s sentential calculus. Get an “A” on this, and you’ll get at least a “B” for the course! MEC II: Problem 9 on p. 150 in Mates: prove the completeness of the rules of Mates’s sentential calculus—or, if you prefer, the rules of System W´. Get an “A” on this, and you’ll get an “A” for the course! |
![[WAI-A - WCAG 1.0]](../graphics/w3c_wcag1A_w.gif){kind=small}
