Quantifier

One of the operations exists 👁 exists
(called the existential quantifier) or for all 👁 forall
(called the universal quantifier, or sometimes, the general quantifier). However, there also exist more exotic branches of logic which use quantifiers other than these two.

See also

Bound Variable, Existential Quantifier, Exists, For All, Free, Quantified System, Quantifier Elimination, Universal Quantifier

Explore with Wolfram|Alpha

References

Hall, C. and O'Donnell, J. "Computing with Quantifiers." §3.2 in Discrete Mathematics Using a Computer. London:Springer-Verlag, pp. 98-100, 2000.

Referenced on Wolfram|Alpha

Quantifier

Cite this as:

Weisstein, Eric W. "Quantifier." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Quantifier.html

Subject classifications