« Calcul des propositions » : différence entre les versions
Aucun résumé des modifications |
m (Isaline a déplacé la page Calcul propositionnel vers Calcul des propositions par-dessus une redirection) |
(Aucune différence)
| |
Version du 13 avril 2021 à 12:30
Définition
Se définit d'une part par sa syntaxe régissant l'ensemble des assertions exprimables dans le langage et d'autre part par ses règles d'inférence décrivant comment on peut créer de nouvelles assertions à partir d'anciennes.
Français
calcul propositionnel
calcul des propositions
logique propositionnelle
Anglais
propositional calculus
sentential calculus
Contributeurs: Arielle Halindintwali, Claude Coulombe, Isaline Hodecent, Jacques Barolet, wiki
