For All

If a proposition P is true for all B, this is written P forall B. forall is one of the two so-called quantifiers, and translates the universal quantifier forall .

The Wolfram Language expression ForAll [x, expr] can be used to represent the statement that expr is true for all values of x.

See also

Almost All, Exists, For Some, Implies, Quantifier, Universal Quantifier, Universal Sentence

Explore with Wolfram|Alpha

Cite this as:

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

Subject classifications