квантор; кванторный
1) квантор 2) квантификатор
имя существительное 1) [лингвистика] квантификатор 2) [математика] квантор
noun one that quantifies: as a. a prefixed operator that binds the variables in a logical formula by specifying their quantity b. a limiting noun modifier (as five in “the five young men”) expressive of quantity and characterized by occurrence before the descriptive adjectives in a noun phrase
An operator in predicate logic specifying for which values of a variable a formula is true. Universally quantified means "for all values" (written with an inverted A, LaTeX forall) and existentially quantified means "there exists some value" (written with a reversed E, LaTeX exists). If a variable is not quantified then it is a free variable. In logic programming this usually means that it is actually universally quantified. See also first order logic.