Definition:Statement Form/Substatement
< Definition:Statement Form(Redirected from Definition:Substatement of Statement Form)
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