Propositional Variable

Propositional Variable

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.