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

Логически необходимое высказывание: То же самое, что тождественно-истинное высказывание.