ASSIGNMENTS
When submitting files to the Grade Grinder, use LMULOGIC@GMAIL.COM as the instructor's email address.
[1] Tuesday, January 10, 2012: ATOMIC SENTENCES IN FIRST-ORDER LANGUAGE
READ pp. 5-11, 19-31
DO World Submit Me 1 (pp. 8-10), Exercises 1.2, 1.3, 1.4 (pp. 25-26), 1.9 (p. 30)
[2] Thursday, January 12, 2012: VALIDITY, SOUNDNESS, AND PROOF
READ pp. 41-54
DO Exercises 2.1 (pp. 44-45), 2.6, 2.8, 2.9, 2.10, 2.11, 2.12, 2.13 (p. 53), 2.14 (p. 54)
[3] Tuesday, January 17, 2012: FORMAL AND INFORMAL PROOFS
READ pp. 54-62
DO Exercises 2.15, 2.17, 2.18, 2.19, 2.20 (p. 62)
[4] Thursday, January 19, 2012: PROOFS AND ANALYTIC CONSEQUENCES
READ pp. 63-66
DO Exercises 2.21 (p. 65), 2.24, 2.25, 2.26 (p. 66)
[5] Tuesday, January 24, 2012: BOOLEAN CONNECTIVES
READ pp. 67-89
DO Exercises 3.3 (p. 70), 3.7 (p. 74), 3.10 (p. 77), 3.13, (p. 81), 3.20 (p. 86), 3.21 (p. 87), 3.23 (p. 88)
[6] Thursday, January 26, 2012: CATCH UP DAY
No additional reading or exercises. Use this as a day to ask questions and catch your breath!
[7] Tuesday, January 31, 2012: TRUTH TABLES
READ pp. 93-113
DO Exercises 4.1, 4.2, 4.4, 4.5, 4.6 (p. 104), 4.15, 4.16, 4.17, 4.18 (p. 109), 4.23, 4.24 (p. 113)
[8] Thursday, February 2, 2012: TAUT CON AND INFORMAL PROOFS WITH BOOLEAN OPERATORS
READ pp. 114-118, 128-142
DO Exercises 4.26, 4.27, 4.28 (p. 117), 5.7, 5.8, 5.10 (p. 136), 5.15, 5.16, 5.17, 5.20 (p. 140)
[9] Tuesday, February 7, 2012: FORMAL PROOFS WITH BOOLEAN OPERATORS
READ pp. 143-156
DO Exercises 6.1, 6.2 (p. 155), 6.3, 6.4, 6.5, 6.6 (p. 156)
[10] Thursday, February 9, 2012: MORE FORMAL PROOFS WITH BOOLEAN OPERATORS
READ pp. 156-175
DO Exercises 6.7 (p. 163), 6.11, 6.12 (p. 164), 6.18, 6.19 (p. 168), 6.28, 6.29, 6.32 (p. 174), 6.37, 6.38, 6.39 (p.176)
[11] Tuesday, February 14, 2012: CATCH UP DAY
Happy Valentine's Day! No additional reading or exercises. Use this as a day to ask questions and catch your breath!
| > |
No class Thursday, February 16, 2012: Professor is at conference.
[12] Tuesday, February 21, 2012: CONDITIONALS AND BICONDITIONALS
READ pp. 178-189
DO Exercises 7.4, 7.5, 7.6, 7.7, 7.8 (p. 185), 7.12 (pp. 186-187), 7.15, 7.17 (p. 188)
[13] Thursday, February 23, 2012: PROOFS INVOLVING CONDITIONALS AND BICONDITIONALS
READ pp. 199-215, 223-225
DO Exercises 8.44, 8.45, 8.46, 8.47, 8.48, 8.49 (p. 224), 8.50, 8.51, 8.52, 8.53 (p. 225)
SPRING BREAK!!!
[14] Tuesday, March 6, 2012: MIDTERM EXAM REVIEW
READ Midterm Exam Review Sheet (click here)
DO Prepare for the midterm exam!
[15] Thursday, March 8, 2012: MIDTERM EXAM (click here for the exam and the answers)
[16] Tuesday, March 13, 2012: INTRODUCTION TO QUANTIFICATION
READ pp. 229-241
DO Exercises 9.3 (p. 236), 9.5, 96. (p. 241)
[17] Thursday, March 15, 2012: TRANSLATION INTO QUANTIFIED LOGIC
READ pp. 241-253
DO Exercises 9.8, 9.9 (p. 243), 9.12 (p. 244), 9.15 (p. 249), 9.17 (p. 251), 9.19 (p. 252)
[18] Tuesday, March 20, 2012: CATCH-UP
DO Logic Puzzle #6 (translate the clues and solve the puzzle)
[19] Thursday, March 22, 2012: THE LOGIC OF QUANTIFIERS
READ pp. 259-282
DO Exercises 10.2, 10.3 (p. 266), 10.4 (p. 267), 10.8, 10.10, 10.11, 10.12, 10.13 (p. 276), 10.16, 10.17 (p. 277), 10.21 (p. 281)
[20] Tuesday, March 27, 2012: MULTIPLE QUANTIFIERS
READ pp. 298-309
DO Exercises 11.1, 11.2 (p. 300), 11.4 (p. 301), 11.8, 11.11 (p. 305) 11.13 (p. 306), 11.16 (p. 308)
[21] Thursday, March 29, 2012: FINISHING TRANSLATION
READ pp. 309-317, 324-327
DO Exercises 11.18 (p. 311), 11.21 (p. 312), 11.24, 11.25 (p. 316), 11.39 (p. 325), 11.41 (p. 326), Logic Puzzle #28 (translate the clues and solve the puzzle)
[22] Tuesday, April 3, 2012: PROOFS
READ pp. 351-361
DO Exercises 13.1 (p. 355), 13.3, 13.5, 13.7, 13.9 (p. 356), 13.10, 13.12, 13.14 (p. 359), 13.16 (p. 360)
EASTER BREAK!!!
[23] Tuesday, April 10, 2012: PROOF STRATEGIES
READ pp. 361-371
DO Exercises 13.9 (p. 367), 13.23, 13.24, 13.25, 13.26, 13.29, 13.31 (p. 368), 13.33, 13.35, 13.37, 13.39 (p. 369; do not use ANA CON on these four)
[24] Tuesday, April 12, 2012: REVIEW FOR MIDTERM
READ Midterm Review Sheet
DO Undone Homework; Prepare for Exam
[25] Thursday, April 17, 2012: MIDTERM EXAM