CSSE 490: Logic: Day 9
Topics
- Variables
- Quantification
- Quantifiers: universal, existential
- Well-formed formulas
- Sentences
- Intuitive semantics of quantifiers
- Translating complex noun phrases
- Quantifiers and function symbols
Materials
Assignments
- Day 10: Read sections 10.1 and 10.2
- Day 11: Complete exercises ...