Dictionary

universal quantifier en · NOUN

Meanings

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".

Forms

Holonyms

predicate calculus

Relateds

universal quantification · existential quantifier

Synonyms

all-operator

Translations (19)

cs univerzální kvantifikátor (operator) · de Allquantor (operator) · tr evrensel niceleyici (operator) · ro cuantificator universal (operator) · is allsherjarvirki (operator) · pl kwantyfikator duży (operator) · pl kwantyfikator ogólny (operator) · fi universaalikvanttori (operator) · fi kaikkikvanttori (operator) · de Universalquantor (operator) · vi lượng từ phổ dụng (operator) · ru ква́нтор всео́бщности (operator) · is allsherjarmagnari (operator) · pt quantificador universal (operator) · pl kwantyfikator uniwersalny (operator) · vi lượng từ với mọi (operator) · fr quantificateur universel (operator) · it quantificatore universale (operator) · es cuantificador universal (operator)