重言式意思

重言式（Tautology）在邏輯學中是指一個永真的命題或陳述。它是一個邏輯表達式，無論其中的變數的值如何取值，其結果都是真的。重言式通常包含邏輯連線詞如「與」（AND，∧）、「或」（OR，∨）、「非」（NOT，¬）以及邏輯常量如「真」（True，T）和「假」（False，F）。

一個簡單的例子是邏輯表達式 A ∨ ¬A，其中 A 可以代表任何命題。這個表達式的意思是「A 或者非 A」。由於在邏輯中，一個命題與其自身的否定不可能同時為真，但至少有一個必須為真，因此這個表達式總是真的，無論 A 本身是真是假。

重言式在邏輯學中是非常基礎的概念，它們在構建和分析邏輯論證、設計數字電路、以及計算機科學中的形式驗證等領域都有廣泛的套用。