« Logique des propositions » : différence entre les versions
m (Isaline a déplacé la page Propositional logic vers Logique des propositions) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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. | |||
== Français == | == Français == | ||
'''logique des propositions''' | |||
'''logique propositionnelle''' | |||
== Anglais == | == Anglais == | ||
'''propositional logic''' | '''propositional logic''' | ||
<small> | <small> | ||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8372741 Source : Le grand dictionnaire terminologique ] | |||
[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:publication]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:UTexas]] | |||
Version du 7 avril 2021 à 12:54
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.
Français
logique des propositions
logique propositionnelle
Anglais
propositional logic
Contributeurs: Claude Coulombe, Isaline Hodecent, wiki
