CSSE 490: Logic: Day 21

Topics

• Completeness for propositional logic continued.

Materials

• Map to completeness proof
• Slides