OperationsPropositional VariableSymbol 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.
