Quantifier



[kwon-tuh-fahy-er] /ˈkwɒn təˌfaɪ ər/

noun
1.
Logic. an expression, as “all” or “some,” that indicates the quantity of a proposition.
Compare , .
2.
a word, especially a modifier, that indicates the quantity of something.
/ˈkwɒntɪˌfaɪə/
noun
1.
(logic)

2.
(grammar) a word or phrase in a natural language having this role, such as some, all, or many in English
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)

Tagged:

Read Also:

  • Quantifiers

    [kwon-tuh-fahy-er] /ˈkwɒn təˌfaɪ ər/ noun 1. Logic. an expression, as “all” or “some,” that indicates the quantity of a proposition. Compare , . 2. a word, especially a modifier, that indicates the quantity of something. /ˈkwɒntɪˌfaɪə/ noun 1. (logic) 2. (grammar) a word or phrase in a natural language having this role, such as some, […]

  • Quantifies

    [kwon-tuh-fahy] /ˈkwɒn təˌfaɪ/ verb (used with object), quantified, quantifying. 1. to determine, indicate, or express the of. 2. Logic. to make explicit the of (a proposition). 3. to give to (something regarded as having only quality). /ˈkwɒntɪˌfaɪ/ verb (transitive) -fies, -fying, -fied 1. to discover or express the quantity of 2. (logic) to specify the […]



  • Quantify

    [kwon-tuh-fahy] /ˈkwɒn təˌfaɪ/ verb (used with object), quantified, quantifying. 1. to determine, indicate, or express the of. 2. Logic. to make explicit the of (a proposition). 3. to give to (something regarded as having only quality). /ˈkwɒntɪˌfaɪ/ verb (transitive) -fies, -fying, -fied 1. to discover or express the quantity of 2. (logic) to specify the […]

  • Quantifying

    [kwon-tuh-fahy] /ˈkwɒn təˌfaɪ/ verb (used with object), quantified, quantifying. 1. to determine, indicate, or express the of. 2. Logic. to make explicit the of (a proposition). 3. to give to (something regarded as having only quality). /ˈkwɒntɪˌfaɪ/ verb (transitive) -fies, -fying, -fied 1. to discover or express the quantity of 2. (logic) to specify the […]



Disclaimer: Quantifier definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.