# | due | topic | problems |
21 | Fri Dec 5 | Meyer's derivations | On page 447, and in the same style as the other proofs of that page, prove the formulas "Q implies [R implies (Q and R)]" and "Q implies (Q or R)". |
20 | Dugundji formulas | Problems 11.17 a and b. | |
19 | Fri Nov 14 | one more nontautology | Problem 9.10.b. |
T3 | Wed Nov 12 | syntactics | Test 5 will involve proofs, similar to those of chapters 13-17 and 19-20. Admittedly, we didn't do much with chapters 15-20, but they are simply additional problems in the same style as chapter 13-17. (I'm skipping chapter 18, which has a slightly different style.) You may use your book and your notes during the quiz. Be sure to bring them to class. For each problem, you will be told which sections of the book can be used for justifications in the proof. |
18 | Mon Nov 3 | contraction | Fill in the justifications for the proof that adding 15.2.b makes 15.2.a provable. (Also on Monday: there will be more time to work on Quiz 3.) |
Q3 | Fri Oct 31 | syntactics | Quiz 3 will consist of problems similar to those of homework sets 14 and 15, below. You may use your book and your notes during the quiz. Be sure to bring them to class. |
17 | Fri Oct 31 | more negation | 14.13. |
16 | Wed Oct 29 | more basic logic | 14.6.b, 14.10, and 14.12.a. |
15 | Mon Oct 27 | positive logic | 14.4.b and 14.5.b. |
14 | Fri Oct 24 | derivations | 13.6.a, and 13.8.a and b. |
T2 | Wed Oct 22 | Test 2 | will cover material corresponding to homework sets 9 through 13, listed below. The test may cover any or all of the following semantics: two-valued (8.2), Zadeh* (8.16), Sugihara* and comparative (8.28), powerset (9.2), topological (10.1). *For the Zadeh and Sugihara interpretations, you are not required to memorize the formula for implication, but you'll need to know how to use it -- I'll give you that formula in a reference section on the test. And you'll need to know all other parts of those two interpretations, and you'll need to know all parts of the other interpretations I've just mentioned. |
13 | Wed Oct 15 | still more numerical semantics | 8.12.b and 10.4.a,b,c. |
12 | more numerical semantics | Problems 8.35.c and 8.45. Hint: Read 8.44 carefully. | |
11 | Fri Oct 10 | hexagon interpretation | Problem 9.6 |
10 | Wed Oct 8 | semantics | Problems 8.9.a, 8.21.b, and (for comparative only) 8.30.a |
Q2 | Mon Oct 6 | Quiz 2 | will cover problems similar to those in homework set 8, below. |
9 | Fri Oct 3 | formula schemes and isotonicity | Problems 6.32 and 6.37a. The quiz is postponed until Monday. |
8 | Wed Oct 1 | formulas | Problems 6.12b,c; 6.18a,b; 6.19a,b. |
T1 | Wed Sept 24 | Test 1 | The test will be similar in style to the homework problems. It will cover all the topics for which we've worked problems, in homework sets 1-6. It will not cover topic 7 (induction). |
7 | Mon Sept 22 | induction | Do problem 5.63.a, using the format of section 5.59. The test that was scheduled for Monday has been postponed until Wednesday. |
6 | Fri Sept 19 | quantifiers | 5.47 |
5 | Wed Sept 17 | converses | 5.26 |
4 | topologies | problems 4.4f and 4.8e and 4.9a,b from the revised chapter 4 | |
Q1 | Mon Sept 8 | quiz 1 | on material similar to homework sets 1 through 3, listed below |
3 | Wed Sept 3 | subsets | 3.38.b, 3.39a,b, 3.54a,b,c,d |
2 | Mon Sept 1 | subsets | 3.17 |
1 | Fri Aug 29 | sets | 3.8 |