CSSE 490: Logic: Day 8

Topics

• Soundness of propositional logic
• Proof of soundness of propositional logic
• Completeness of propositional logic

Materials

• Slides for soundness
• Slide for completeness

Assignments

• Day 9, BC: Read chapter 9.
• Day 10, BC: Problems 8.41 - 8.43.
• Day 12, BC: Proposal for presentation of a logic application