« Logique des propositions » : différence entre les versions

Dernière version du 28 janvier 2024 à 11:03

Définition

Logique dont les objets sont des énoncés construits par composition à partir d'énoncés de base, qui sont susceptibles d'être soit vrais, soit faux.

Compléments

La logique des propositions s'exprime par des propositions ou formules propositionnelles construites à partir de connecteurs logiques (ET, OU, NON, IMPLIQUE, ÉQUIVALENT À, etc.) et de variables propositionnelles (P, Q, etc). Une formule bien formée possède une valeur de vérité (vrai ou faux).

Par exemple, NON (P ET Q) ÉQUIVALENT À (NON P OU NON B) est une proposition vraie.

Français

logique des propositions

logique propositionnelle

Anglais

propositional logic

Sources

Source : Le grand dictionnaire terminologique

Wikipédia - Formule propositionnelle

Source : UTexas Artificial Intelligence Vocabulary

@@ Ligne 1 : / Ligne 1 : @@
+== Définition ==
+Logique dont les objets sont des énoncés construits par composition à partir d'énoncés de base, qui sont susceptibles d'être soit vrais, soit faux.
-== en construction ==
+==Compléments==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:UTexas]]
+La logique des propositions s'exprime par des propositions ou formules propositionnelles construites à partir de connecteurs logiques (ET, OU, NON, IMPLIQUE, ÉQUIVALENT À, etc.) et de variables propositionnelles (P, Q, etc). Une formule bien formée possède une valeur de vérité (vrai ou faux).
-== Définition ==
+Par exemple, NON (P ET Q) ÉQUIVALENT À (NON P OU NON B) est une proposition vraie.
-xxxxxxx
 == Français ==
-xxxxxxx
+'''logique des propositions'''
+'''logique propositionnelle'''
 == Anglais ==
 '''propositional logic'''
-a logical representation in terms of propositional variables, each of which is true or false and has no arguments.
-<small>
+==Sources==
+[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8372741  Source : Le grand dictionnaire terminologique ]
+[https://fr.wikipedia.org/wiki/Formule_propositionnelle Wikipédia - Formule propositionnelle]
 [https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]