Homework will be assigned each week, usually on
Tuesday.
It is due the following week, in your discussion section.
Homework will count toward the final grade. (See Grading in the Syllabus.)
Week 1: Intro. & Translations: Conditional Logic. Read Chapter I, Secs. 1, 2, 3.
4/1
Do
problems 1, 2, 3, 4, 5, 6, 7, 9, 11, 13, 16 (pp.7-8 and 12-13)
.
Week 2: Derivations
& Theorems: Conditional Logic. Read Chapter I, Secs.
3, 4, 5, 6, 7
4/8
Do problems 18, 21, 22, 24, 28, 29, 31, 33, 34, 36, 37 (pp. 27, 34-35,
& p.43).
Week 3: Intro. &
Translations: Sentential Logic. Read Chapter II, Secs.
1, 2 , 3.
4/15
Do problems 3, 5, 9 (p. 53) 11, 13, 14,
15, 18, 21 (pp 57-9) 22a, c, e,
f, j, l , n, o (p.63).
Week 4: Derivations:
Sentential Logic. Read Chapter II, Secs. 4, 5, 6, 7.
4/22
Prove Theorems T28, 29, 39, 40, 42, 44 (pp.65-68). Do problem #25
(p.75).
Prove Thms 54, 55, 65, 83, 96, 114
(pp.79-86).
Week 5: Truth Tables and
Trees. Read Chapter II, Secs.7, 8, 9. Begin reading
Chapter III.
4/29
Truth
value analysis, and (NOT IN BOOK) especially TRUTH TREES.
Do problems 43 and 44 on p.87. Symbolize, derive conclusion from
premises
AND SHOW VALID VIA TRUTH TREES.
Do 51, 52, 53 (p.95), 64, 65, 66 (p.101), 68, 70, 72,
73, 77 (pp.102-3)
ALL VIA
TRUTH TREES.
Week 6: Intro &
Translations: Monadic Logic. Read Chapter III, Secs 1 thru 4.
5/6
Do problems #3, 4, 5, 6, 13 (p.123), 16, 17 (p.125) 21, 23, 25
(p.133) and
30, 31, 32, 33, 34, 35, 38, 43, 50, 52, 56 (pp.136-39).
Week 7: Derivations: Monadic
Logic (Proper Substitution & Rules of Inference).
5/13
Read Chapter III, Secs.5-11.
Do #60, 62 (p.143), 63(p.145), 66(p.149), 69 (p.159); prove
Theorems 210, 214, 246; do #83, 85, 92, 105, 109, 111 (pp.172-74).
Week 8: Derivations &
Models : Monadic Logic. On pp.172-73 do #84, 86, 87, 88, 106.
5/20
Read Chapter III, Sec.12. Do #115, 116 (p. 181).
(NOTE
MODEL FORMAT,
NOT IN TEXT.)
Week 9: Models and
Invalidity.
Again Chap III, Sec. 12. #122, 125, 127 (pp.182-83).
5/27
For review,
p.
97:#59 all parts (all the
equivalents
sentential pairs),
p. 160:# 71, 72, 73, 74 (Monadic
fallacies),
p. 182:# 120
(4
element model). AND
p. 213:# 1,3,5; p.
214: #15 a, c, g, l, r, t (multi-place predicate
translations
from Chapter IV)