Definition:Statement Form

Definition
A statement form (or logical 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.

The term statement scheme or schema is sometimes seen for this concept.

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.