quantificateur

QUANTIFICATEUR

nom masculin
Étymologie : xxe siècle. Dérivé de quantification.
Marque de domaine : logique. Marque de domaine : mathématiques. Symbole graphique que l’on place devant un terme ou une variable, pour déterminer l’ensemble des éléments auxquels s’applique une proposition, une propriété. Quantificateur universel, noté ∀ et signifiant « quel que soit, pour tout ». x P(x) signifie que la propriété P(x) est vérifiée pour tout x. Quantificateur existentiel, noté ∃ et signifiant « il existe au moins un ».
Vous pouvez cliquer sur n’importe quel mot pour naviguer dans le dictionnaire.