quantifier
—
- квантор;
- квантификатор
#
определитель количественного значения; общее название для логических операций, ограничивающих область истинности какого-либо предиката. Широко применяются два квантора: существования (existential quantifier) и всеобщности (universal quantifier). Существует также квантор плюральности (квантор Решера) W– Wxозначает “для большинства x”.
Связные термины
fuzzy quantifier, quantification