A formula in logic that is false for all possible truth values is called:
Contradiction
Tautology
Contingency
Theorem