Raisonnement mathématiqueVariable propositionnelleSymbole qui désigne une proposition dans le calcul propositionnel. On utilise généralement des lettres majuscules telles que P, Q, R, S, ..., pour désigner une variable propositionnelle. Exemple Dans la proposition composée (P ∧ Q) → R, les lettres P, Q et R représentent des variables propositionnelles.
