Note: The reading assignments are in the course outline at the end of the syllabus.
| Date Due | Extra Credit Assignment |
|---|---|
| 3/1/06 |
XC 01. Problem 5 at the end of Chapter 6 in Mates (p. 108)—not that hard: find the basic truth-functional components; construct associated SC sentences; do truth-tables. XC 02. Problem 7 at the end of Chapter 6 in Mates (p. 109)—not that hard: derivations not of more SC theorems, but of SC sentences from sets of SC sentences; you may find it useful to use indirect proof strategies, especially for the proofs in which the formula to be derived is just a sentential letter or the negation of a sentential letter. XC 03. Problem 8, items (b)-(d) at the end of Chapter 6 in Mates (p. 109)—fun and relatively easy; you get to do both translation and validity checking for arguments presented in English. XC 04. Problem 11 at the end of Chapter 6 in Mates (p. 130)—again, fun and relatively easy; you get to do more translation and validity checking for arguments presented in English. XC 05. Problem 1, (a)-(e) at the end of Chapter 7 in Mates (p. 130)—not that bad; sort of like Problem 7 at the end of Chapter 6 in Mates: derivations not of theorems, but of L sentences from sets of L sentences. XC 06. Problem 1, (f)-(i) and (k) at the end of Chapter 7 in Mates (p. 130)—more of the same. XC 07. Problem 1, (l)-(p) at the end of Chapter 7 in Mates (p. 130)—more of the same. XC 08. SC theorems 57-65 and 71 on p. 105 in Chapter 6 in Mates—the proof of 64 is fairly challenging, but the others aren’t all that bad. XC 09. SC theorems 72-81 on pp. 105-106 in Chapter 6 in Mates—some of these proofs are long, but some are surprisingly easy. |
| 4/7/06 |
XC 10. Problem 7 at the end of Chapter 3 in Mates (note that the problem has two parts). XC 11. Prove assertion (3) on p. 65 in Chapter 4 in Mates. XC 12. Prove assertion (11) on p. 65 in Chapter 4 in Mates. XC 13. Prove assertion (14) on p. 65 in Chapter 4 in Mates. XC 14. Prove assertion (16) on p. 65 in Chapter 4 in Mates. XC 15. Prove assertion (18) on p. 65 in Chapter 4 in Mates. XC 16. Do Problem 9 at the end of Chapter 4 in Mates on p. 68. XC 17. Do Problem 6 at the end of Chapter 8 in Mates on p. 150. XC 18. Do Problem 3 at the end of Chapter 8 in Mates on p. 150 for Theorems of Logic 7, 8, 9, 10, 12, and 13 on p. 128. XC 19. 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. And last but not least, two mega-extra-credit options (due on the day of the final). MEC (Mega-Extra Credit) I: Proof of the soundness of the rules of W′. (Get an “A” on this, and you’ll get at least a “B” for the course!) MEC (Mega-Extra Credit) II: Problem 9 on p. 150 in Mates (proof of the completeness of the rules of Mates’s sentential calculus. (Get an “A” on this, and you’ll get an “A” for the course!) (These super-duper extra credit proofs are, as indicated above, 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 the relevant things that Mates left unproved in his proofs in Chapter 8.) |
| 5/4/06 |
XC 20. Do exercise 3 at the end of Chapter 9 in Mates (p. 162). XC 21. Prove theorems 11-15 of T1 on p 190 in Mates. XC 22. Prove theorems 11-15 of T2 on p 193 in Mates. XC 23. Prove theorems 12-18 on p. 156 in Mates. |
![[WAI-A - WCAG 1.0]](../graphics/w3c_wcag1A_w.gif){kind=small}
