🔟 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