Словарь по логике

Тождественно-истинное высказывание: Высказывание A называется тождественно-истинным если и только если оно всегда истинно, т.е. истинно при любом положении дел, при любой допустимой интерпретации входящих в его состав “дескриптивных” знаков.