A formal expression used in asserting that a stated general proposition is true of all the members of the delineated universe or class.
- 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.
For editors and proofreaders
Line breaks: uni|ver¦sal quan¦ti|fier
Definition of universal quantifier in:
What do you find interesting about this word or phrase?
Comments that don't adhere to our Community Guidelines may be moderated or removed.