Symbol that refers to a proposition in propositional calculation.
Generally, we use capital letters like P, Q, R, S, …, to indicate a propositional variable.
Example
In the proposition composed (P ∧ Q) → R, the letters P, Q and R represent propositional variables.