« Logique des propositions » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (5 versions intermédiaires par 3 utilisateurs non affichées) | |||
| 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. | |||
== | ==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 == | == Français == | ||
'''logique des propositions''' | |||
'''logique propositionnelle''' | |||
== Anglais == | == Anglais == | ||
'''propositional logic''' | '''propositional logic''' | ||
==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] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 10: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
Contributeurs: Claude Coulombe, Isaline Hodecent, wiki
