Jump to navigation Jump to search
This page is about Substatement in the context of Statement Form. For other uses, see Substatement.
A substatement of a statement form $\mathbf A$ is another statement form which occurs as a part of $\mathbf A$.
- Definition:Compound Statement/Substatement, the analogue in (non-symbolic) logic.