Search the lexicon


universal quantifier

SEMANTICS: a logical operator of predicate logic, written All, which makes it possible to express that all entities in the universe of discourse have a particular property. In (i), it is used to express that every entity has property P.

(i) All(x) [ P(x) ]

It is a standard assumption that natural language expressions such as each girl and everyone contain (or are) universal quantifiers.
LIT. Gamut, L.T.F. (1991)