« Quantificateur » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| (16 versions intermédiaires par 2 utilisateurs non affichées) | |||
| 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. | ||
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== | ||
'''quantificateur''' | '''quantificateur''' | ||
==Anglais== | ==Anglais== | ||
''' | '''quantifier''' | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/Quantificateur_(logique) Source : Wikipédia ] | |||
[[Utilisateur:Claude COULOMBE | Source : Claude Coulombe]] | |||
[ | [[Category:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 4 février 2024 à 12:37
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
Anglais
quantifier
Sources
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
