основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем.

В математике Т. - это уравнение , которое удовлетворяется тождественно, то есть справедливо для любых допустимых значений входящих в него переменных. С логической точки зрения, Т. - это преди