« 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:Vocabulary]]
-[[Category:Intelligence artificielle]]Intelligence artificielle<br>
-[[Catégorie:Logique formelle]]Logique formelle<br>
-[[Catégorie:Raisonnement automatique]]
-[[Category:Coulombe]]Coulombe
-[[Catégorie:Scotty]]<br>
 ==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.
@@ Ligne 15 : / Ligne 5 : @@
 ==Français==
-'''quantificateur'''  n.m.  (Logique formelle)
+'''quantificateur'''
 ==Anglais==
-'''Quantifier''' (logic)
+'''quantifier'''
-<br />
-<br />
+==Sources==
-<br />
+[https://fr.wikipedia.org/wiki/Quantificateur_(logique)        Source : Wikipédia ]
-[https://fr.wikipedia.org/wiki/Quantificateur_(logique)        source wikipedia]
-<br />
+[[Utilisateur:Claude COULOMBE | Source : Claude Coulombe]]
-<br />
-<br />
-<br />
+[[Category:GRAND LEXIQUE FRANÇAIS]]