logic An operator in predicate logic specifying for which

values of a variable a formula is true. Universally

quantified means "for all values" (written with an inverted A,

LaTeX forall) and existentially quantified means "there

exists some value" (written with a reversed E, LaTeX

exists). To be unambiguous, the set to which the values of

the variable belong should be specified, though this is often

omitted when it is clear from the context (the "universe of

discourse"). E.g.