« Quantificateur » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte — « nom masc. » par « masculin ») |
||
| Ligne 5 : | Ligne 5 : | ||
==Français== | ==Français== | ||
'''quantificateur''' <small> | '''quantificateur''' <small> masculin</small> | ||
==Anglais== | ==Anglais== | ||
Version du 9 décembre 2020 à 10:55
Définition
En logique formelle, un quantificateur est un opérateur logique qui sert, comme son nom l'indique, à quantifier des éléments dans une formule logique.
Les quantificateurs logiques les plus communs sont le quantificateur existentiel (il existe) représenté par le symbole ∃ et le quantificateur universel (pour tout) représenté par le symbole ∀.
Français
quantificateur masculin
Anglais
Quantifier
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
