---

Propositional variable

A variable that references a statement, typically denoted

\[\begin{equation*}
  P, Q, R, \ldots
\end{equation*}
\]