DATES
 SECTIONS (in Allen/Hand)
 EXERCISES
 EXAMS

Jan. 19
 What logic is; sentential logic; what it's good for
 1.3


Jan. 26, 28
 1.1, 1.2, 1.3: Translating English into logicalese
 1.1,
1.2,
1.3


Jan. 31, Feb. 2
 2.1: Truth tables for sentences
 2.1


Feb. 7, 9
 2.2, 2.3, 2.4: Truth tables for sequents;
validity; tautologies
 2.2, 2.3


Feb. 14
 2.4: Indirect truth tables
 2.4


Feb. 16
 Review for Exam 1:
(1) basic notions, definitions; (2)
translation from English to sentential wffs; (3) truth tables
 Here are some old exams.

Feb. 21


 EXAM 1

Feb. 23, 28
 1.4: What proofs are; the primitive rules; simple proofs



Mar. 1, 6
 1.5: Derived rules;
less simple proofs (look here for
hints on how to find proofs)

1.5,
1.6


Mar. 1317
 SPRING BREAK



Mar. 20, 22
 Review for Exam 2:
sentential logic proofs


Mar. 27


 EXAM 2

Mar. 29

3.1: The language of predicate logic.
(I will be distributing some
supplementary
notes on predication)
 3.1, 3.3, 3.4


Apr. 3
 3.2: Translating English into predicate logic
(with
supplementary notes
on translation)
 3.5


Apr. 5
 3.2: More on translating English into predicate logic
(see supplementary notes
on predication)
 3.5


Apr. 10
 4.1, 4.2: Semantics for predicate logic:
finite interpretations
 4.1, 4.2, 4.3


Apr. 12
 Review for Exam 3:
(1)translating English into predicate logic;
(2) finite models


Apr. 17


 EXAM 3 (see these old exams)

Apr. 19, 21
 3.3, 4.2: Predicate Logic proofs with primitive rules; finite countermodels
 3.6, 4.3


Apr. 24, 26
 3.3, 4.2: Finite Countermodels; predicate logic proofs with primitive rules
 3.6, 4.4


Apr. 25


 Makeup for Exam 3: 9:00 AM, Bolton Hall

May 1
 Review for final



May 2
 Redefined Day (Friday Classes)



May 3
 READING DAY



May 4
 READING DAY



May 5



FINAL EXAM, 10:00 AMNoon (A
practice final is available; there is
also a postscript version
