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