« Quantificateur » : différence entre les versions
mAucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Pitpitt a déplacé la page Quantifier vers Quantificateur) |
(Aucune différence)
| |
Version du 13 mai 2019 à 21:22
Domaine
Intelligence artificielle
Logique formelle
Coulombe
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. (Logique formelle)
Anglais
Quantifier (logic)
source wikipedia
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
