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