重言式是什麼意思

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

重言式的真值不受變數賦值的影響，總是為真。這意味著，無論對命題公式中的變數進行何種真值指派，其結果始終為真。在邏輯學和數學中，重言式是一個基本概念，廣泛用於推理和證明。重言式在自然語言處理、模糊控制、近似推理等多個領域也有套用。