Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse de mots par intelligence artificielle ChatGPT
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
Qu'est-ce (qui) est quantifier - définition
WIKIMEDIA DISAMBIGUATION PAGE
Quantifiers; Quantifier (disambiguation)
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)
quantifier
¦ noun
1. Logic an expression (e.g. some) that indicates the scope of a term to which it is attached.
2. Grammar a determiner or pronoun indicative of quantity (e.g. all).
quantifier
(quantifiers)
In grammar, a quantifier is a word or phrase such as 'plenty' or 'a lot' which you use to refer to a quantity of something without being precise. It is often followed by 'of', as in 'a lot of money'.
N-COUNT
Wikipédia
Quantifier
Quantifier may refer to:
- Quantifier (linguistics), an indicator of quantity
- Quantifier (logic)
- Quantification (science)
