Тождественно — Истинные Высказывания

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