Le
calcul des propositions ou
calcul propositionnel est une théorie
logique ayant pour objet l'étude des relations logiques entre «
propositions » et définissant les lois formelles selon lesquelles, au moyen de
connecteurs logiques, les propositions se coordonnent et s'enchaînent pour produire des raisonnements valides.