Definition:Statement Form/Substatement

Definition
A substatement of a statement form $\mathbf A$ is another statement form which occurs as a part of $\mathbf A$.

Also see

 * Definition:Compound Statement/Substatement, the analogue in (non-symbolic) logic.
 * Definition:Subformula