恆真式

恆真式 （ tautology ） 又稱爲套套邏輯 、 恆真句 、 恆真式或重言式等 。 恆真式是指在任何解釋下皆爲真的命題 ， 例如經典邏輯中的 、 、 或 “ A = B ， B = C ， 則A = C ” 。