Calcul des propositions
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
