恆真式（tautology）又称为套套逻辑、恆真句、恆真式或重言式等。恆真式是指在任何解释下皆为真的命题，例如formula_1、formula_2、formula_3或“A=B，B=C，则A=C”。
命题逻辑的恆真式.命题逻辑上，如某式为一连串命题变项的组合，将每个命题变项分别代入真、假，运算结果总是为真，则该式为一恆真式。恆真式有无限多种，以下为常见例子：
恆真式的证明.命题逻辑上证明恆真式的方式之一是代入真值表，对于有"n"个变项的式子，总共