« Quantificateur » : différence entre les versions

Dernière version du 4 février 2024 à 13: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

Source : Wikipédia

Source : Claude Coulombe

@@ Ligne 8 : / Ligne 8 : @@
 ==Anglais==
-'''Quantifier'''
+'''quantifier'''
-<small>
+==Sources==
+[https://fr.wikipedia.org/wiki/Quantificateur_(logique)        Source : Wikipédia ]
+[[Utilisateur:Claude COULOMBE | Source : Claude Coulombe]]
-[https://fr.wikipedia.org/wiki/Quantificateur_(logique)        Source wikipedia]
-[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]]
-[[Category:Intelligence artificielle]]
-[[Catégorie:Logique formelle]]
-[[Catégorie:Raisonnement automatique]]
 [[Category:GRAND LEXIQUE FRANÇAIS]]