CSSE 490: Logic: Week 3

Day	Topics	Readings/Assignments
Day 11	Truth-functionality revisited Tautologies and quantification	Read chapter 11 Start work on the Logic Application Presentation Start work on the Research a Logical System List of proposed applications List of proposed logics
Day 12	First-order validity and consequence First-order equivalence
Day 13	Review of some proofs Multiple quantifiers Translation of natural language sentences
Day 14	Class cancelled, due to instructor illness