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

ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ — понятие современной формальной (математической) логики (а именно, того ее направления, которое называется классической логикой), являющееся в известном смысле экспликатом (уточнением) таких традиционных философских понятий, как понятие «необходимой (вечной) истины» у Т. Гоббса, «истины во всех возможных мирах» у Г. Лейбница, «аналитического суждения a priori» у И. Канта.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 447.