Quantifier (original) (raw)

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology

Alphabetical Index New in MathWorld


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." FromMathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Quantifier.html

Subject classifications