Share this entry
universal quantifier Line breaks: uni|ver¦sal quan¦ti|fier

Definition of universal quantifier in English:


A formal expression used in asserting that a stated general proposition is true of all the members of the delineated universe or class.
Example sentences
  • These variables can be bound by standard existential and universal quantifiers (and not by constructibility quantifiers).
  • In formal mathematical logic, one makes frequent use of the existential and universal quantifiers.
  • In systems of quantified modal logic, the modal operators are used in combination with the familiar existential and universal quantifiers (‘E’ and ‘A’ respectively) of ordinary, non-modal quantifier logic.
Definition of universal quantifier in:
Share this entry

What do you find interesting about this word or phrase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.

Subscribe to remove adverts and access premium resources