« 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 1 : / Ligne 1 : @@
-==Domaine==
-[[Category:Vocabulary2]]
-[[Category:Intelligence artificielle]]
-[[Catégorie:Logique formelle]]
-[[Catégorie:Raisonnement automatique]]
-[[Category:Coulombe2]]
-[[Catégorie:Scotty2]]<br>
-[[Category:GRAND LEXIQUE FRANÇAIS]]
 ==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.
+'''quantificateur'''
 ==Anglais==
-'''Quantifier'''
+'''quantifier'''
+==Sources==
+[https://fr.wikipedia.org/wiki/Quantificateur_(logique)        Source : Wikipédia ]
+[[Utilisateur:Claude COULOMBE | Source : Claude Coulombe]]
-Source: Claude Coulombe, Datafranca.org
-[https://fr.wikipedia.org/wiki/Quantificateur_(logique)        Source wikipedia]
+[[Category:GRAND LEXIQUE FRANÇAIS]]