« Quantificateur » : différence entre les versions
m (Pitpitt a déplacé la page Quantifier vers Quantificateur) |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Domaine== | ==Domaine== | ||
[[Category:Vocabulary]] | [[Category:Vocabulary]] | ||
[[Category:Intelligence artificielle]] | [[Category:Intelligence artificielle]] | ||
[[Catégorie:Logique formelle]] | [[Catégorie:Logique formelle]] | ||
[[Catégorie:Raisonnement automatique]] | [[Catégorie:Raisonnement automatique]] | ||
[[Category:Coulombe]] | [[Category:Coulombe]] | ||
[[Catégorie:Scotty]]<br> | [[Catégorie:Scotty]]<br> | ||
| Ligne 15 : | Ligne 14 : | ||
==Français== | ==Français== | ||
'''quantificateur''' n.m. | '''quantificateur''' n.m. | ||
==Anglais== | ==Anglais== | ||
'''Quantifier''' | '''Quantifier''' | ||
[https://fr.wikipedia.org/wiki/Quantificateur_(logique) source wikipedia] | [https://fr.wikipedia.org/wiki/Quantificateur_(logique) source wikipedia] | ||
Version du 21 mai 2019 à 21:23
Domaine
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
