Тождественная истинность

Определение "Тождественная истинность" в Большой Советской Энциклопедии

Тождественная истинность, свойство сложных высказываний, истинных в силу их формально-логической структуры и смысла (интерпретации) входящих в них логических операций. Такие высказывания лишь «по видимости» описывают факты (классы фактических ситуаций), о которых говорят входящие в них элементарные высказывания и которые составляют их «материю»; по существу же они выражают логически значимые связи между высказываниями, связи, которые всегда порождают истинную мысль независимо от того, в какой области знания, на каком «материале» эта мысль высказана. Инвариантность к содержанию мысли и способность характеризовать её конкретную форму выражения обусловливает общенаучное значение Тождественная истинность: каталогизированные в системы логических законов тождественные истины непротиворечиво (см. Непротиворечивость) входят в любую отрасль человеческого знания, образуя её «логическую ткань», логическую основу применяемых в этой отрасли знания способов рассуждений.
  М. М. Новосёлов.