Definition:Compound Statement/Substatement

From ProofWiki
Jump to: navigation, search

This page is about substatements of compound statements. For other uses, see Definition:Substatement.

Definition

A substatement of a compound statement is one of the statements that comprise it.


Also see