查看“恆真式”的源代码

{{about|||套套邏輯}}


'''恆真式'''（tautology）又称为'''套套邏輯'''、'''恆真句'''、'''恆真式'''或'''重言式'''等。

'''恆真式'''是指在任何解釋下皆為真的命題，例如<math>P\vee\neg P</math>、<math>P\to P</math>、<math>(P\wedge Q)\vee R\leftrightarrow (P\vee R)\wedge (Q\vee R)</math>或“A=B，B=C，则A=C”。



== 命題邏輯的恆真式 ==
[[命題邏輯]]上，如某式為一連串命題變項的組合，將每個命題變項分別代入真、假，運算結果總是為真，則該式為一恆真式。

恆真式有無限多種，以下為常見例子：
*<math>(A \lor \lnot A)</math>（''A''或非''A''）：此即[[排中律]]，此式只有一個命題變項''A''，根據定義，無論將A代入「真」或代入「假」，運算結果都會是「真」
*<math>(A \to B) \Leftrightarrow(\lnot B \to \lnot A)</math>（若''A''蘊涵''B''則非''B''蘊涵非''A''，反之亦然）：此即[[換質換位律]]
*<math>((\lnot A \to B) \land(\lnot A \to \lnot B)) \to A</math>（若非''A''蘊涵''B''且非''A''蘊涵非''B''，則非''A''恆為假，則''A''恆為真）：此即[[歸謬法]]的原理
*<math>\lnot(A \land B) \Leftrightarrow(\lnot A \lor \lnot B)</math>（若非''A''且''B''皆為真，則非''A''或非''B''為真，反之亦然）：此即[[德摩根定律]]
*<math>((A \to B)\land(B \to C)) \to(A \to C)</math>（若''A''蘊涵''B''且''B''蘊涵''C''，則''A''蘊涵''C''）：此即[[三段論]]的原理
*<math>((A \lor B)\land(A \to C) \land(B \to C)) \to C</math>（若''A''或''B''其中之一為真，且兩者皆蘊涵''C''，則''C''為真）：此即[[枚舉法]]之原理



== 恆真式的證明 ==
命題邏輯上證明恆真式的方式之一是代入真值表，對於有''n''個變項的式子，總共會有2<sup>n</sup>種組合。因此有時會非常複雜。

例如以下式子：
:<math>((A \land B) \to C) \Leftrightarrow(A \to (B \to C))</math>。

可將<math>A</math>、<math>B</math>、<math>C</math>分別以真或假代入，然後根據規則算出各子式的真假值，最後算出整個式子真假值：
{| class="wikitable" style="text-align: center;"
|-
|<math>A</math>
|<math>B</math>
|<math>C</math>
|<math>A \land B</math>
|<math>(A \land B) \to C</math>
|<math>B \to C</math>
|<math>A \to(B \to C)</math>
|<math>((A \land B) \to C) \Leftrightarrow(A \to (B \to C))</math>
|-
|T
|T
|T
|T
|T
|T
|T
|T
|-
|T
|T
|F
|T
|F
|F
|F
|T
|-
|T
|F
|T
|F
|T
|T
|T
|T
|-
|T
|F
|F
|F
|T
|T
|T
|T
|-
|F
|T
|T
|F
|T
|T
|T
|T
|-
|F
|T
|F
|F
|T
|F
|T
|T
|-
|F
|F
|T
|F
|T
|T
|T
|T
|-
|F
|F
|F
|F
|T
|T
|T
|T
|}

由於每一列的最後運算結果皆為「真」（''T''），故此式為恆真式。

另外一些方式是用語法方式如自然演繹法等從空集合中證明出恆真句。

== 恆真蘊涵 ==
如果所有讓<math>R</math>為真的命題賦值情況下<math>S</math>也都會為真，則稱<math>R</math> '''恆真蘊涵'''（'''恆蘊涵'''）<math>S</math>，可記為<math>R \models S</math>，這相當於恆真式<math>R \to S</math><ref>Kleene 1967 p.27</ref>。

假設<math>S</math>為<math>A \land(B \lor \lnot B)</math>，而<math>R</math>是<math>A \land C</math>。此時<math>S</math>不是恆真式，因為<math>A</math>為假時<math>S</math>為假；但<math>R \models S</math>，因為一切使<math>R</math>為真的情況都會使<math>A</math>為真，而一切使<math>A</math>為真的情況都會使<math>S</math>為真。

根據定義，如果<math>R</math>為矛盾（恆假）命題，則<math>R</math>恆蘊涵<math>S</math>，因為沒有任何情況可使<math>R</math>為真，而當<math>R</math>為假時條件式<math>R \to S</math>總是為真。

== 参考 ==
{{reflist}}
左孝凌，李为鉴，刘永才．离散数学：上海科学技术文献出版社，1982年

王礼萍, 张树功. 重言式和矛盾式的代数化证明[J]. 计算机与数字工程, 2009, 37(8):17-21.

耿素云 屈婉玲 张立昂 ．离散数学：清华大学出版社，2008：7

张凤霞. 基于一元算子的模糊蕴涵和余蕴涵及其广义重言式研究[D]. 山东大学, 2014.
{{逻辑联结词}}

[[Category:數理邏輯|Z]]
[[Category:邏輯聯結詞]]
[[Category:逻辑学]]