« Logique des propositions » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 16 : | Ligne 16 : | ||
[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: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 7 avril 2021 à 16:50
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