什麼是永真式

重言式

永真式，也稱為重言式，是邏輯學中的一個概念。

永真式指的是在所有可能的解釋或情況下都為真的命題或公式。無論命題變項取何值，永真式的真值始終為真。例如，所有永真式如「如果P，那麼P」（P≡P）、「不可能P並且非P」（﹁[P∧﹁ P]）「P或者非P」（P∨﹁ P）等，這些永真式總是為真，無論將任何具體內容代入其變項位置。

永真式在邏輯和數學推理中非常重要，因為它們提供了無需額外證明即可接受的真理。