[1] : WordNet (r) 2.0

quantifier
     n 1: logic a word such as `some' or `all' or `no' that binds
          the variables in a logical proposition syn: logical
          quantifier
     2: grammar a word that expresses a quantity as `fifteen' or
        `many'
see also:
logical quantifier 

[2] : The Free On-line Dictionary of Computing (27 SEP 03)

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 . px  <=>  not exists x . not px
     
        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
     
     
see also:
predicate logic latex free variable logic programming first order logic 

Quantifier >> Q Words
Quantifier, definition of term: Quantifier
quantifier_pag1.html