Definition:Contingent Statement

From ProofWiki
Jump to navigation Jump to 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