🔟 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