恆真式的意義

意義：恆真式，就是正命題為真，逆命題也是真的，也叫重言式‌​​​‌‌‌‌​‌​​​‌‌‌​‌‌‌‌‌。通俗來説，可以理解為：無論什麼情況下都為真的命題。

命題邏輯上，如某式為一連串命題變項的組合，將每個命題變項分別代入真、假，運算結果總是為真，則該式為一恆真式。命題邏輯上證明恆真式的方式之一是代入真值表，對於有n個變項的式子，總共會有2n種組合。因此有時會非常複雜。