恆真式, 关于其他用法, 请见, 套套邏輯, tautology, 又称为套套邏輯, 恆真句, 或重言式等, 是指在任何解釋下皆為真的命題, 例如经典逻辑中的p, displaystyle, displaystyle, displaystyle, wedge, leftrightarrow, wedge, 则a, 目录, 命題邏輯的, 的證明, 恆真蘊涵, 参考资料, 引用, 来源命題邏輯的, 编辑命題邏輯上, 如某式為一連串命題變項的組合, 將每個命題變項分別代入真, 運算結果總是為真, 則該式為一, 有無限多種. 关于其他用法 请见 套套邏輯 恆真式 tautology 又称为套套邏輯 恆真句 恆真式或重言式等 恆真式是指在任何解釋下皆為真的命題 例如经典逻辑中的P P displaystyle P vee neg P P P displaystyle P to P P Q R P R Q R displaystyle P wedge Q vee R leftrightarrow P vee R wedge Q vee R 或 A B B C 则A C 目录 1 命題邏輯的恆真式 2 恆真式的證明 3 恆真蘊涵 4 参考资料 4 1 引用 5 来源命題邏輯的恆真式 编辑命題邏輯上 如某式為一連串命題變項的組合 將每個命題變項分別代入真 假 運算結果總是為真 則該式為一恆真式 恆真式有無限多種 以下為常見例子 A A displaystyle A lor lnot A nbsp A或非A 此即排中律 此式只有一個命題變項A 根據定義 無論將A代入 真 或代入 假 運算結果都會是 真 A B B A displaystyle A to B Leftrightarrow lnot B to lnot A nbsp 若A蘊涵B則非B蘊涵非A 反之亦然 此即換質換位律 A B A B A displaystyle lnot A to B land lnot A to lnot B to A nbsp 若非A蘊涵B且非A蘊涵非B 則非A恆為假 則A恆為真 此即歸謬法的原理 A B A B displaystyle lnot A land B Leftrightarrow lnot A lor lnot B nbsp 若非A且B皆為真 則非A或非B為真 反之亦然 此即德摩根定律 A B B C A C displaystyle A to B land B to C to A to C nbsp 若A蘊涵B且B蘊涵C 則A蘊涵C 此即三段論的原理 A B A C B C C displaystyle A lor B land A to C land B to C to C nbsp 若A或B其中之一為真 且兩者皆蘊涵C 則C為真 此即枚舉法之原理恆真式的證明 编辑命題邏輯上證明恆真式的方式之一是代入真值表 對於有n個變項的式子 總共會有2n種組合 因此有時會非常複雜 例如以下式子 A B C A B C displaystyle A land B to C Leftrightarrow A to B to C nbsp 可將A displaystyle A nbsp B displaystyle B nbsp C displaystyle C nbsp 分別以真或假代入 然後根據規則算出各子式的真假值 最後算出整個式子真假值 A displaystyle A nbsp B displaystyle B nbsp C displaystyle C nbsp A B displaystyle A land B nbsp A B C displaystyle A land B to C nbsp B C displaystyle B to C nbsp A B C displaystyle A to B to C nbsp A B C A B C displaystyle A land B to C Leftrightarrow A to B to C nbsp T T T T T T T TT T F T F F F TT F T F T T T TT F F F T T T TF T T F T T T TF T F F T F T TF F T F T T T TF F F F T T T T由於每一列的最後運算結果皆為 真 T 故此式為恆真式 另外一些方式是用語法方式如自然演繹法等從空集合中證明出恆真句 恆真蘊涵 编辑如果所有讓R displaystyle R nbsp 為真的命題賦值情況下S displaystyle S nbsp 也都會為真 則稱R displaystyle R nbsp 恆真蘊涵 恆蘊涵 S displaystyle S nbsp 可記為R S displaystyle R models S nbsp 這相當於恆真式R S displaystyle R to S nbsp 1 假設S displaystyle S nbsp 為A B B displaystyle A land B lor lnot B nbsp 而R displaystyle R nbsp 是A C displaystyle A land C nbsp 此時S displaystyle S nbsp 不是恆真式 因為A displaystyle A nbsp 為假時S displaystyle S nbsp 為假 但R S displaystyle R models S nbsp 因為一切使R displaystyle R nbsp 為真的情況都會使A displaystyle A nbsp 為真 而一切使A displaystyle A nbsp 為真的情況都會使S displaystyle S nbsp 為真 根據定義 如果R displaystyle R nbsp 為矛盾 恆假 命題 則R displaystyle R nbsp 恆蘊涵S displaystyle S nbsp 因為沒有任何情況可使R displaystyle R nbsp 為真 而當R displaystyle R nbsp 為假時條件式R S displaystyle R to S nbsp 總是為真 参考资料 编辑引用 编辑 Kleene 1967 p 27来源 编辑左孝凌 李为鉴 刘永才 离散数学 上海科学技术文献出版社 1982年 王礼萍 张树功 重言式和矛盾式的代数化证明 J 计算机与数字工程 2009 37 8 17 21 耿素云 屈婉玲 张立昂 离散数学 清华大学出版社 2008 7 张凤霞 基于一元算子的模糊蕴涵和余蕴涵及其广义重言式研究 D 山东大学 2014 取自 https zh wikipedia org w index php title 恆真式 amp oldid 74834302, 维基百科,wiki,书籍,书籍,图书馆,