« Quantificateur » : différence entre les versions
m (Remplacement de texte — « <!-- Vocabulary2 --> » par « ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==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. | 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. | ||
| Ligne 25 : | Ligne 16 : | ||
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]] | [[Utilisateur:Claude COULOMBE | source : Claude Coulombe]] | ||
[[Category:Intelligence artificielle]] | |||
[[Catégorie:Logique formelle]] | |||
[[Catégorie:Raisonnement automatique]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Version du 8 mai 2020 à 08:45
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 nom masc.
Anglais
Quantifier
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
