Quantifiers
Quantifiers express a domain.
Contents
Description
The existential quantifier is a statement that at least some value exists. It is notated as ∃, as in ∃ x ∈ R which should be read as 'there exists a value in the set of real numbers'.
The universal quantifier is a statement about all values. It is notated as ∀ x ∈ R which should be read as 'for all values in the set of real numbers'.