Tautologies

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