Dictionary
Thesaurus
Encyclopedia
Translator
Web

quantifier

 - 3 dictionary results

quan⋅ti⋅fi⋅er

[kwon-tuh-fahy-er]
–noun
1. Logic. an expression, as “all” or “some,” that indicates the quantity of a proposition. Compare existential quantifier, universal quantifier.
2. a word, esp. a modifier, that indicates the quantity of something.

Origin:
1875–80; quantify + -er 1
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2009.
Cite This Source Link To quantifier
quan·ti·fi·er   (kwŏn'tə-fī'ər)   
n.  
  1. Logic An operator that limits the variables of a proposition, as some or all.

  2. Linguistics A linguistic form that expresses a contrast in quantity, as some, all, or many.

The American Heritage® Dictionary of the English Language, Fourth Edition
Copyright © 2009 by Houghton Mifflin Company.
Published by Houghton Mifflin Company. All rights reserved.
Cite This Source
Computing Dictionary

quantifier logic
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)

The Free On-line Dictionary of Computing, © 1993-2007 Denis Howe
Cite This Source
Search another word or see quantifier on Thesaurus | Reference
FacebookTwitterFollow us: