English Explanatory Dictionary

universal quantifier

English dictionary entry

Meanings

noun
  1. The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set. Verbal equivalents include "for each" and "for every".

Word forms

universal quantifier universal quantifiers

Synonyms

all-operator

Related words

existential quantifier universal quantification
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on U Russian dictionary Dahl dictionary