« Quantificateur » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 7 : | Ligne 7 : | ||
[[Category:Coulombe2]] | [[Category:Coulombe2]] | ||
[[Catégorie:Scotty2]]<br> | [[Catégorie:Scotty2]]<br> | ||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
==Définition== | ==Définition== | ||
| Ligne 13 : | Ligne 13 : | ||
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 ∀. | 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== | ==Français== | ||
Version du 27 mai 2019 à 19:51
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
Source: Claude Coulombe, Datafranca.org
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
