« Quantificateur » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| Ligne 10 : | Ligne 10 : | ||
'''Quantifier''' | '''Quantifier''' | ||
==Sources== | |||
Version du 28 janvier 2024 à 12:43
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
Anglais
Quantifier
Sources
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
