A statement form is a symbolic representation of a compound statement.
It is traditional, particularly in the field of mathematical logic, to use lowercase Greek letters to stand for general formulas (the usual ones being $\phi, \psi$ and $\chi$), but more modern treatments are starting to use ordinary lowercase letters of the English alphabet, usually $p, q, r$ etc.
Also known as
There are various names for this concept, for example:
- statement scheme or schema
- symbolic sentence
- logical form.
When discussing propositional logic, the terms logical formula or propositional formula are also used.
- Logical Formula: A well-formed formula of a formal language used for symbolic logic.
- Propositional Formula: The logical formulae used to discuss propositional logic.