Definition:Contingent Statement

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

 * Definition:Tautology (Formal Semantics)
 * Definition:Unsatisfiable Formula