тождественно-истинные высказывания

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.