Branche de la logique mathématique dans laquelle on applique les règles et méthodes de calcul sur des propositions ou des formes propositionnelles.
En calcul propositionnel, on utilise des variables propositionnelles P, Q, R, S, etc., des connecteurs entre ces variables et des parenthèses avec lesquelles on définit des énoncés ou propositions, et on choisit certaines d’entre elles comme énoncés vrais qu’on appelle alors axiomes du calcul propositionnel.
Exemple
\(\neg(\textrm{P}\ ∧ \textrm{Q})↔\neg{\textrm{P}} ∨ \neg{\textrm{Q}}\)