DATES 
SECTIONS (in Allen/Hand) 
EXERCISES 
EXAMS

Jan. 20, 22  1.11.3: Defining a formal language; expressions and wffs
 1.3 

Jan. 27, 29  1.3: Translating English into logicalese
 1.1,
1.2,
1.3


Feb. 15  1.4: What proofs are; the primitive rules; simple proofs  

Feb. 812  1.5: What sequents are; Derived rules; less simple proofs (look here for
hints on how to find proofs)

1.5,
1.6


Feb. 15, 17  1.6: What theorems are; proofs of theorems (moe
hints on how to find proofs)

1.7,
1.8 

Feb. 19
 Review for Exam 1:
(1) basic notions, definitions; (2)
translation from English to sentential wffs; (3) proofs using
primitive and derived rules of proof. 

Feb. 22    EXAM 1

Feb. 2426  2.1: Truth tables for sentences  2.1 

Mar. 15  2.2, 2.3, 2.4: Truth tables for sequents;
validity; tautologies  2.2, 2.3 

Mar. 8  2.4: Indirect truth tables  2.4 

Mar. 10  Review for Exam 2:
(1) basic truth tables;
(2) truth tables for complex statements, arguments;
(3)tautologies; (4) indirect truth tables 

Mar. 12    EXAM 2

Mar. 1519 
SPRING BREAK (Go home!)  

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


Mar. 29, 31  3.2: Translating English into predicate logic
(with supplementary notes on translation)
 3.5 

Apr. 2  READING DAY (no class) 

Apr. 514  3.3: Predicate logic proofs; primitive rules
(with supplementary notes on
predication)  3.5,
3.6 

Apr. 16  Review for Exam 3:
(1) predicate logic formulas;
(2) translating English into predicate logic;
(3) predicate logic proofs with primitive rules 

Apr. 19    EXAM 3

Apr. 2123  3.4: Derived rules, theorems for predicate logic  3.7, 3.8 

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

May 3  Review  

May 4 
You may think this is Tuesday,
but it's actually Friday, so we
have a class. It's our last one. 
Review for final 

May 5, 6  READING DAYS (Stay home!)  

May 10    FINAL EXAM, 8:0010:00 AM

