CSSE 490: Logic: Week 5

Day	Topics	Readings/Assignments
Day 19	Formalizing Set Theory Proof of Proposition 1 Proof of Proposition 2 One directon of the proof of Proposition 3	Day 20, BC: Complete the other direction of the proof of Proposition 3 Read sections 17.1 and 17.2
Day 20	Formalizing Set Theory
Day 21	Completeness of Propositional Logic. Part I	Day 22, BC: Complete assignments: 17.2, 17.14, and 17.15
Day 22	Summary of Completeness of Propositional Logic. Completeness of Propositional Logic. Part II Compactness of Propositional Logic.