CSSE 413: Day 20

Outline

• Quantifiers
• Syntax and Semantics
• Natural Logic

Materials

• Slides for predicate logic and quantifiers.
• Narration of slides on predicate logic and quantifiers.
• Narration of proof
• Slides for syntax and semantics.
• Narration of slides on syntax and semanics.
• Introduction to natural logic by Larry Moss from IU, a leading expert in natural logic.