Category:Definitions/Statement Variables

This category contains definitions related to Statement Variables.
Related results can be found in Category:Statement Variables.

A statement variable is a variable which is used to stand for an arbitrary and unspecified statement.

For a statement variable, a lowercase letter is usually used, for example:

$p, q, r, \ldots{}$, and so on

or lowercase Greek letters, for example:

$\phi, \psi, \chi$ and so on.

The citing of a statement variable can be interpreted as an assertion that the statement represented by that symbol is true.

That is:

$p$

means

$p \text { is true}$