catflap.org Online Dictionary Query


Query string:
Search type:
Database:

Database copyright information
Server information


21 definitions found
From The Free On-line Dictionary of Computing (27 SEP 03) :   [ foldoc ]

  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)
       
       

From WordNet (r) 2.0 :   [ wn ]

  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')

From Greek Wiktionary: All languages (2023-07-27) :   [ dictinfo.com:wikt-el-ALL-2023-07-27 ]

  quantifier
     Γαλλικά vb.
     υπολογίζω μια ποσότητα, ποσοτικοποιώ

From English Wiktionary: All languages (2023-07-27) :   [ dictinfo.com:wikt-en-ALL-2023-07-27 ]

  quantifier
     n.
     1 (lb en grammar) A word, such as ''all'' or ''many'', that expresses
  the quantity of a related noun.
     2 (senseid en logic)(lb en logic) An operator, such as the universal
  quantifier (written as ∀) or the existential quantifier (∃), used in
  predicate calculus to indicate the degree that predicate is true for a
  specified set.
     3 (lb en computing) A symbol or symbols in a regular expression
  indicating the number of characters to be matched.

From English Wiktionary: English language only (2023-07-27) :   [ dictinfo.com:wikt-en-en-2023-07-27 ]

  quantifier
     n.
     1 (lb en grammar) A word, such as ''all'' or ''many'', that expresses
  the quantity of a related noun.
     2 (senseid en logic)(lb en logic) An operator, such as the universal
  quantifier (written as ∀) or the existential quantifier (∃), used in
  predicate calculus to indicate the degree that predicate is true for a
  specified set.
     3 (lb en computing) A symbol or symbols in a regular expression
  indicating the number of characters to be matched.

From English Wiktionary: Western, Greek, and Slavonic languages only (2023-07-27) :   [ dictinfo.com:wikt-en-Western_Greek_Slavonic-2023-07-27 ]

  quantifier
     n.
     1 (lb en grammar) A word, such as ''all'' or ''many'', that expresses
  the quantity of a related noun.
     2 (senseid en logic)(lb en logic) An operator, such as the universal
  quantifier (written as ∀) or the existential quantifier (∃), used in
  predicate calculus to indicate the degree that predicate is true for a
  specified set.
     3 (lb en computing) A symbol or symbols in a regular expression
  indicating the number of characters to be matched.

From English Wiktionary: Western languages only (2023-07-27) :   [ dictinfo.com:wikt-en-Western-2023-07-27 ]

  quantifier
     n.
     1 (lb en grammar) A word, such as ''all'' or ''many'', that expresses
  the quantity of a related noun.
     2 (senseid en logic)(lb en logic) An operator, such as the universal
  quantifier (written as ∀) or the existential quantifier (∃), used in
  predicate calculus to indicate the degree that predicate is true for a
  specified set.
     3 (lb en computing) A symbol or symbols in a regular expression
  indicating the number of characters to be matched.

From Swedish Wiktionary: All languages (2023-07-27) :   [ dictinfo.com:wikt-sv-ALL-2023-07-27 ]

  quantifier
     Engelska n.
     (tagg logik språk=en) kvantifikator, kvantor

From English-Arabic FreeDict Dictionary ver. 0.6.3 :   [ freedict:eng-ara ]

  Quantifier /kwˈɒntɪfˌaɪə/
  المحدّد للكمية

From English-български език FreeDict+WikDict dictionary ver. 2023.05.29 :   [ freedict:eng-bul ]

  quantifier //ˈkwɑn.tə.faɪ.ɚ// 
  квантор
  a logical operator

From English-Czech dicts.info/FreeDict Dictionary ver. 0.1.3 :   [ freedict:eng-ces ]

  quantifier /kwˈɒntɪfˌaɪə/ 
  kvantifikátor

From English - German Ding/FreeDict dictionary ver. 1.9-fd1 :   [ freedict:eng-deu ]

  quantifier /kwˈɒntɪfˌaɪə/
  Quantifikator , Quantifizierer , Quantor  [comp.]
   see: quantifiers
  

From English-suomi FreeDict+WikDict dictionary ver. 2023.05.29 :   [ freedict:eng-fin ]

  quantifier //ˈkwɑn.tə.faɪ.ɚ// 
  kvanttori
  a logical operator

From English-日本語 (にほんご) FreeDict+WikDict dictionary ver. 2023.05.29 :   [ freedict:eng-jpn ]

  quantifier //ˈkwɑn.tə.faɪ.ɚ// 
  量化子
  a logical operator

From English-Svenska FreeDict+WikDict dictionary ver. 2023.05.29 :   [ freedict:eng-swe ]

  quantifier //ˈkwɑn.tə.faɪ.ɚ// 
  kvantifikator, kvantor
  a logical operator

From français-български език FreeDict+WikDict dictionary ver. 2023.05.29 :   [ freedict:fra-bul ]

  quantifier /kɑ̃.ti.fje/ 
  определям количествено

From français-ελληνικά FreeDict+WikDict dictionary ver. 2023.05.29 :   [ freedict:fra-ell ]

  quantifier /kɑ̃.ti.fje/ 
  ποσοτικοποιώ

From français-italiano FreeDict+WikDict dictionary ver. 2023.05.29 :   [ freedict:fra-ita ]

  quantifier /kɑ̃.ti.fje/ 
  quantificare

From français-español FreeDict+WikDict dictionary ver. 2023.05.29 :   [ freedict:fra-spa ]

  quantifier /kɑ̃.ti.fje/ 
  cuantificar

From Stardic English-Chinese Dictionary :   [ stardic ]

  n. 数量词,量记号;

From XDICT the English-Chinese dictionary :   [ xdict ]

     n. 数量词,量记号

Questions or comments about this site? Contact dictionary@catflap.org
Access Stats