CSSE 490: Logic: Day 25
Topics
The Completeness Theorem for FOL
Adding witnessing constants
The Henkin Theory
The Elimination Theorem (beginning)
Materials
Slides
Homework
Day 26, BC: Read sections 19.4(end), 19.5
Day 29, BC: Complete 19.3 - 19.5