universal quantifier

(redirected from Universal quantification)
Also found in: Dictionary, Thesaurus, Legal, Wikipedia.

universal quantifier

[¦yü·nə¦vər·səl ′kwän·tə‚fī·ər]
(mathematics)
A logical relation, often symbolized ∀, that may be expressed by the phrase “for all” or “for every”; if P is a predicate, the statement (∀ x) P (x) is true if P (x) is true for all values of x in the domain of P, and is false otherwise.

universal quantifier

References in periodicals archive ?
Since SQL does not have a universal quantification construct, programmers must negate its EXISTS construct to capture universal quantifiers.
In particular, universal quantification and implication must be eliminated from the expression before it is translated to SQL.

Full browser ?