Contradictions

Propositions that are always false, regardless of the truth values of the component propositions.