Definition:Statement Form/Substatement

From ProofWiki
Jump to navigation Jump to search

This page is about substatements of statement forms. For other uses, see Definition:Substatement.

Definition

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


Also see