永真式是什麼

重言式

永真式，也稱為重言式，是邏輯學中的一個概念，指無論命題變數如何取值，其真值永遠為真的複合命題公式。

永真式在命題邏輯中是一個重要的研究課題，這類公式的真值不受命題變元取值的影響，總是為真。永真式在真值表中表現為，無論命題變項取何值，命題形式的真值恆為真。例如，公式「p∨¬p」（p或非p）和「p→p」（如果p則p）都是永真式，因為它們表達了邏輯上始終為真的關係或原理。