universal quantifier

Noun CEFR B2

Definitions

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

Equivalents

Españolcuantificador universal

Françaisquantificateur universel

DeutschAllquantor Universalquantor

7 more languages

Češtinauniverzální kvantifikátor

Suomikaikkikvanttori universaalikvanttori

Italianoquantificatore universale

日本語全称

Polskikwantyfikator ogólny

Portuguêsquantificador universal

Русскийква́нтор всео́бщности

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See all B2 English words →

See also

Universal Resource Locator Universal Serial Bus universal set universal shunt universal solvent universal sorter

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free