« Quantificateur » : différence entre les versions
m (Remplacement de texte — « Category:Vocabulary2 » par « <!-- Vocabulary2 --> ») |
m (Remplacement de texte — « Category:Coulombe2 » par « <!-- Coulombe2 --> ») |
||
| Ligne 4 : | Ligne 4 : | ||
[[Catégorie:Logique formelle]] | [[Catégorie:Logique formelle]] | ||
[[Catégorie:Raisonnement automatique]] | [[Catégorie:Raisonnement automatique]] | ||
<!-- Coulombe2 --> | |||
[[Catégorie:Scotty2]] | [[Catégorie:Scotty2]] | ||
[[Category:GRAND LEXIQUE FRANÇAIS]] | [[Category:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 2 juillet 2019 à 12:46
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 n.m.
Anglais
Quantifier
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
