Definition:Statement Form

Definition
A statement form is a symbolic representation of a compound statement.

It uses of statement variables along with logical connectives joining them.

There are various names for this concept, for example:
 * statement scheme or schema;
 * symbolic sentence;
 * logical form.

Formal Definition
A statement form is an expression containing statement variables and logical connectives, formed using the following rules:


 * Any statement variable is a statement form.


 * If $A$ and $B$ are statement forms, then:
 * If $\intercal$ is a unary logical connective, then $\left({\intercal A}\right)$ is a statement form.
 * If $\intercal$ is a binary logical connective, then $\left({A \intercal B}\right)$ is a statement form.