Universal Quantifier

The quantifier "for all" ( forall ), sometimes also known as the "general quantifier."

See also

Existential Quantifier, Exists, For All, Quantifier, Universal Formula, Universal Sentence

Explore with Wolfram|Alpha

References

Carnap, R. Introduction to Symbolic Logic and Its Applications. New York: Dover, p. 34, 1958.

Referenced on Wolfram|Alpha

Universal Quantifier

Cite this as:

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

Subject classifications