CSSE 490: Logic: Day 20
Topics
Truth assignments and truth tables
Completeness for propositional logic
Materials
Reminder:
Syntax of FOL
Slides