Definition:Contingent Statement

From ProofWiki
Jump to: navigation, search

Definition

A contingent statement is a statement form which is neither a tautology, nor unsatisfiable, but whose truth value depends upon the truth value of its component substatements.


Also see


Sources