Definition:Statement Form

Definition
A statement form is a compound statement which is expressed in terms of statement variables along with the logical connectives which join them.

A statement form can be considered as being a statement in its own right.

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.