什麼是重言式

重言式，也稱為永真式，是邏輯學中的一個概念，指的是在任何情況下都為真的陳述或命題。

重言式在命題邏輯中是指一個公式，無論其命題變項如何賦值（即真或假），其結果總是真的。例如，p∨¬p（p或非p）是一個重言式，因為無論p的值是真還是假，這個表達式的結果都是真的。在計算機科學中，重言式也在詞法分析等領域有著重要的套用。