ТОЖДЕСТВЕННО - ИСТИННЫЕ ВЫСКАЗЫВАНИЯ

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