恆真式是什麼

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

在邏輯和數學裡，命題演算是一個形式系統，有著可以由以邏輯運算子結合原子命題來構成代表“命題”的公式，以及允許某些公式建構成“定理”的一套形式“證明規則”。