Symbole 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.