Quantifiers

Quantifiers

Quantifiers
Existential Quantifier (∃)
Universal Quantifier (∀)
Example: ∃x(P(x))
Example: ∀x(P(x))
There exists an x such that P(x) is true
For all x, P(x) is true