Word:

quantifier

Noun1.quantifier - (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
2.quantifier - (grammar) a word that expresses a quantity (as `fifteen' or `many')
(logic)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.
existential operator, existential quantifier, logic, logical quantifier, word
Translate quantifier to French
Browse
Quando licet id quod majus
Quando plus fit quam fieri debet
Quando verba et mens congruunt
Quandong
quandong nut
quandong tree
Quandy
quango
Quannet
Quant
quantal
Quanti minoris
Quantic
quantifiability
quantifiable
Quantification
-- quantifier --
Quantify
quantisation
quantise
Quantitative
quantitative analysis
quantitative chemical analysis
quantitative relation
quantitatively
Quantitive
Quantitively
Quantity
Quantity of action
Quantity of estate
Quantity of matter
Quantity of motion
quantity unit
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home