CSSE 490: Logic: Day 22
Topics
Completeness for propositional logic continued.
Materials
Map to
completeness proof
Slides
Homework
Day 23, BC: Read sections 18.1 and 18.2
Day 25, noon: Problems 17.5, 17.6, 17.7, 17.8, 17.14, 17.15, and 17.16.