A tautology is a proposition which is always true.

Example: p ∨¬p
A contradiction is a proposition which is always false.
Example: p ∧¬p
A contingency is a proposition which is neither a
tautology nor a contradiction, such as p

Logical biconditional ≡