意义：恒真式，就是正命题为真，逆命题也是真的，也叫重言式‌​​​‌‌‌‌​‌​​​‌‌‌​‌‌‌‌‌。通俗来说，可以理解为：无论什么情况下都为真的命题。

命题逻辑上，如某式为一连串命题变项的组合，将每个命题变项分别代入真、假，运算结果总是为真，则该式为一恒真式。命题逻辑上证明恒真式的方式之一是代入真值表，对于有n个变项的式子，总共会有2n种组合。因此有时会非常复杂。