重言式是什麼意思

重言式（Tautology）在邏輯學中是指一個永真的命題或陳述。這意味著無論在何種情況下，重言式的真假值都是真的。重言式通常由邏輯常量和邏輯聯結詞（如 AND、OR、NOT）組成，它們的形式保證了無論任何變數的取值如何，整個命題都是真的。

例如，在命題邏輯中，以下是一個重言式：

A ∨ ¬A

這個命題的意思是「A 或非 A」。由於在邏輯中，一個命題與其否定至少有一個是真的（排中律），因此這個命題總是真的。

重言式在邏輯學中是非常有用的，因為它們可以用來構建邏輯系統的基礎，並且可以用來簡化複雜的邏輯論證。在人工智慧和計算機科學中，重言式也用於知識表示和推理。