Логические формулы могут быть тождественно истинными или тождественно ложными из-за того, что они принимают одно из двух значений — «истина» или «ложь». 2

Это следует из принципа двузначности, который гласит, что формулы языка классической логики высказываний принимают ровно одно из двух значений. 2 Они не могут по определению быть одновременно истинными и ложными, а также не могут быть не истинными и не ложными одновременно. 2

Тождественно истинная формула (или тавтология) принимает значение «истина» при любых значениях входящих в неё переменных. 14 Например, формула, соответствующая высказыванию «Этот треугольник прямоугольный или косоугольный». 3 Она истинна и тогда, когда треугольник прямоугольный, и тогда, когда треугольник не прямоугольный. 3

Тождественно ложная формула (или противоречие) принимает значение «ложь» при любом наборе значений переменных, входящих в формулу. 4 Пример — формула, соответствующая высказыванию «Катя самая высокая девочка в классе, и в классе есть девочки выше Кати». 3 Очевидно, что эта формула ложна, так как либо А, либо обязательно ложно. 3