重言式是什麼

永真式

重言式，也稱為永真式，是邏輯學中的一個概念，指無論其命題變數的值如何，其值都為真的邏輯表達式。

重言式是一個命題公式，其特殊之處在於對於該公式的任何解釋或賦值，其真值都為真。這意味著不論命題變數的值如何變化，整個表達式的真值始終保持為真。

簡單來說，重言式是一種在任何情況下都為真的邏輯表達式。例如，表達式p∨¬p（p或非p）在任何邏輯情況下都成立，因為它表達了邏輯上的自洽性。