๐ Quantifier
= mathematical symbols to indicate a quantity
Types
- โ - Universal quantifier: โFor allโ
- โ: - Existential Quantifier: โAt least for oneโ
Scope
= the โregionโ the quantifier applies to
- e.g. โx Fx โง Gab
- -> scope: Fx