# Homework for Dr. Schechter's Logic class

 # 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 Wed Nov 19 Fri Nov 21 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 Mon Oct 13 postponed until Wed Oct 15 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 Mon Sept 8 Wed Sept 10 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