Note that most homework is to be submitted for online grading. When you submit an assignment for the final time, you must indicate that I should receive a copy of the grade report (at my email address, cbrown@trinity.edu). However, if you wish you may submit one or more trial versions of the homework for online grading with grade reports to be sent only to you. Then you may attempt to correct any mistakes prior to the final online submission.
I will accept only the first grade report I receive for a given assignment, however, so make certain that you have made all the changes you want to or have time for before you have a report sent to me! When you submit an assignment with a grade report to be sent to me, make certain that you include all of the problems for that assignment in a single submission -- if you break up your submission into chunks, I will count only the first chunk.
Homework assignments are to be your own work. Submitting a copy of someone else's file is a violation of academic integrity. Be aware that the grading software watches for this. (Discussing the homework assignments with other students and getting or giving general advice and suggestions is fine. Copying someone else's work is not.)
The schedule below is tentative; changes will probably be made as the semester progresses. Please consult the online schedule for the updated assignment.
|
|
|
|
| Wed, Jan 16 | none - first day! | |
| Fri, Jan 18 | Introduction (pp. 1-10) | submit "You Try It," pp. 8-10 Note: If you follow the step-by-step instructions in the book, you'll see in step 7 on p. 10 the instruction to select "Just Me" when submitting. Don't do this! Select "Instructor Too" when you submit so I can see you've done it (and so I can give you credit for an incredibly easy assignment). |
| Mon, Jan 21 | NO CLASS | MARTIN LUTHER KING DAY |
| Wed, Jan 23 | read chapter 1 (all) | submit 1.4-5,9,19 think about, have answers to 1.8,11,12,15-18 (but don't need to submit) |
| Fri, Jan 25 | read chapter 2 (all; make sure you read it carefully) | submit: 2.15-18,21,25 read & think: 2.2-4,22-23 (but don't need to submit) |
| Mon, Jan 28 | read 3.1-3.4 | submit: 3.3, 7, 10 recommended: 3.6, 9 (but don't need to submit -- I'll stop writing this every time!) |
| Wed, Jan 30 | read 3.5 - 3.8 | submit: 3.14-16,21 recommended (especially if any of these give you trouble): 3.12,20,22 think about: 3.25 |
| Fri, Feb 1 | read chapter 4 (especially through 4.4, but also make sure you know the equivalences given on pp. 118-119 and 122. |
submit to the GG: 4.1,2,4,5 (notice that you need to use the keyboard to get the capital letters A, B, C. You need capital letters to stand for sentences, since in our language lower-case a, b, c are individual constants, not sentences.) turn in (paper & pencil): 4.8 make sure you also know how to use truth tables to determine tautological equivalence and tautological consequence, as in exercises 4.12-18 and 4.20-24. |
| Mon, Feb 4 | read chapter 5.1-2; 6.1-2 | submit: 6.3-6 |
| Wed, Feb 6 | read chapter 5.3-4; 6.3-6 | submit: 6.9,10,12 -Keep in mind that these may or may not be valid (if not submit a counterexample rather than a proof). Don't use Taut Con or Ana Con. (Actually, never use them unless specifically asked to.) note: this assignment was modified on Feb. 4 at 10:50AM. |
| Fri, Feb 8 | no new reading; review for exam | submit: 6.21,24,25 -You don't need to write out informal proofs of 24 and 25, but it's a good idea to think about how you would justify the conclusion informally. |
| Mon, Feb 11 |
|
|
| Wed, Feb 13 | go over exam; talk about proofs without premises, equivalences | nothing to turn in |
| Fri, Feb 15 | no new reading | submit: 6.33, 40 For 40 you will probably want to make use of the Law of Excluded Middle, which you will prove in 33. You may use Taut Con to justify an instance of Excluded Middle provided you could prove it if you had to. But don't use Taut Con or Ana Con for anything else! recommended: 4.31, 39, 40 (on negation, conjunctive, and disjunctive normal form) |
| Mon, Feb 18 | chapter 7 (all) | 7.12, 15 (recommended: examine 7.1-8 and determine whether the indicated sentences are tautologically equivalent; the equivalences are useful to know) |
| Wed, Feb 20 | 8.1-2 | 8.18-25 |
| Fri, Feb 22 | finish reading chapter 8 | 8.26, 28-30 These are the trickiest proofs we've seen so far. If you can do them without much trouble, you're in great shape. If you can't, don't panic. |
| Mon, Feb 25 | 9.1-4 | 9.1-3 |
| Wed, Feb 27 | 9.5 | 9.5,6 (You might find 9.1-4 helpful, especially if you're a little uncertain about when a quantifier formula is or isn't a sentence) |
| Fri, Feb 29 | 9.6 | 9.9, 11-12 (you don't need to do the written portions, just the parts you can submit to the Grade Grinder) |
| Mon, March 3 | 10.1-10.3 | 9.16-17 |
| Wed, March 5 | review for exam | none |
| Fri, March 7 |
SECOND EXAM |
|
| Mon, March 10 | 11.1-2 (No class: instructor on jury duty) |
11.4-6 Recommended: 11.11-15 (you don't need to submit these, but look over them and do as many as you need to in order to feel comfortable with the material) |
| Wed, March 12 | No homework | |
| Fri, March 14 | 11.3
|
11.16-17 (If you have any trouble with these, you
may find it helpful to do some or all of exercises 11-15.) Note: if your
translation doesn't evaluate correctly in one or more test worlds, then it
can't be correct; however, even if it evaluates correctly in all test
worlds, that does not guarantee that it is correct!)
|
|
March 15-23 |
NO CLASSES | SPRING BREAK |
| Mon, March 24 | 11.4 | 11.18-19 |
| Wed, March 26 | 11.5,7 | 11.20 look at and think about 11.26, but you don't need to turn it in |
| Fri, March 28 | 12.1-3;13.1 (note: all the exercises will be from chapter 13, but it will be very helpful to carefully read chapter 12 also) | 13.2-8 (You might find it helpful to do 13.1, the "you try it" exercise, first. You can use Taut Con for any purely propositional steps that you know you could prove the long way if you had to.) |
| Mon, March 31 | 13.2 | 13.11-14 (keep in mind that these may or may not be valid! If not, provide a counterexample instead of a proof. You might want to start with 13.10, the "you try it". If you do 13.15 for fun, notice that one premise is one of those horrible existentially quantified conditionals that I keep telling you to avoid!) |
| Wed, April 2 | 12.4, 13.3 | 13.23-31 (remember, 13.23-27 may or may not be valid. As usual, you may find it helpful to do 13.19, the "you try it" exercise, first.) |
| Fri, April 4 | 12.5, 13.4 | 13.40-45. Note that 40-42 may or may not be valid. (43-45 are the three directions of the DeMorgan's equivalences for quantifiers that we haven't yet proved.) |
| Mon, April 7 | review for exam | none |
| Wed, April 9 |
THIRD EXAM |
|
| Fri, April 11 | intro to determiners | |
| Mon, April 14 | no class | 14.3,4,10-12 |
| Wed, April 16 | 14.1,2 (at least n, at most n, exactly n) | |
| Friday, April 18 |
14.3 (the, both, neither)
lecture: alternatives to classical logic I |
Last day to turn
in optional paper 14.26-28 Recommended: don't miss class for the rest of the semester! Lecture material will not be from the text. |
| Mon, April 21 | alternatives to classical logic II | |
| Wed, April 23 | LSAT questions | |
| Friday, April 25 | intro to set theory |
|
| Mon, April 28 | incompleteness I | |
| Wed, April 30 | incompleteness II | |
| Friday, May 2 | review for final exam | |
| Mon, May 12 |
FINAL EXAM (2:00 PM) |
Last update:
April 22, 2008. |