Definition:Statement Form/Substatement
Jump to navigation
Jump to search
This page is about Substatement in the context of Statement Form. For other uses, see 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