quantifier - definition and translation

quantifier algebra quantifier form quantifier rule quantifier-free quantifier-free calculus quantifier-free formula quantifier-free inference quantifier-free sentence quantifiers elimination theorem

Большой англо-русский словарь:

quantifier
имя существительное
1) лингвистика квантификатор
Quantifiers
2) математика квантор

Англо-русский научно-технический словарь:

Англо-русский политехнический словарь:

quantifier
1) квантор
2) квантификатор
- existential quantifier
- generality quantifier

Merriam-Webster's Collegiate Dictionary:

quantifier
noun
Date: 1876
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

Free On-line Dictionary of Computing:

quantifier

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). To be unambiguous, the set to which the values of
the variable belong should be specified, though this is often
omitted when it is clear from the context (the "universe of
discourse"). E.g.

Forall x . P(x) <=> not (Exists x . not P(x))

meaning that any x (in some unspecified set) has property P
which is equivalent to saying that there does not exist any x
which does not have the property.

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.

(2002-05-21)