Contingent Formula

Definition. A contingent formula is one that is neither a Tautology nor a Tautology nor a Contradiction.

A contingent formula has a mixture of Ts and Fs in the column representing the formula in the truth table.