CSSE 490: Logic: Day 12

Topics

• Multiple quantifiers
• Mixed quantifiers
• Step-by-step method of translation
• Paraphrasing Engish
• Ambiguity and context sensitivity

Materials

• Slides

Assignments

• Day 13: Read chapters 12 and 13.
• Day 15: Complete exercises 11.4, 11.9, 11.16, 11.17, 11.18, 11.20 and 11.26