Definition:Statement Form/Specific Form

From ProofWiki
Jump to navigation Jump to search

Definition

The specific form of a given statement is that propositional formula from which the statement form results from replacing each distinct statement variable by a different simple statement.


Sources