恆真式
恆真式(tautology)又称为套套邏輯、恆真句、恆真式或重言式等。
恆真式是指在任何解釋下皆為真的命題,例如经典逻辑中的、、或“A=B,B=C,则A=C”。
命題邏輯的恆真式编辑
命題邏輯上,如某式為一連串命題變項的組合,將每個命題變項分別代入真、假,運算結果總是為真,則該式為一恆真式。
恆真式有無限多種,以下為常見例子:
恆真式的證明编辑
命題邏輯上證明恆真式的方式之一是代入真值表,對於有n個變項的式子,總共會有2n種組合。因此有時會非常複雜。
例如以下式子:
- 。
可將 、 、 分別以真或假代入,然後根據規則算出各子式的真假值,最後算出整個式子真假值:
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),故此式為恆真式。
另外一些方式是用語法方式如自然演繹法等從空集合中證明出恆真句。
恆真蘊涵编辑
如果所有讓 為真的命題賦值情況下 也都會為真,則稱 恆真蘊涵(恆蘊涵) ,可記為 ,這相當於恆真式 [1]。
假設 為 ,而 是 。此時 不是恆真式,因為 為假時 為假;但 ,因為一切使 為真的情況都會使 為真,而一切使 為真的情況都會使 為真。
根據定義,如果 為矛盾(恆假)命題,則 恆蘊涵 ,因為沒有任何情況可使 為真,而當 為假時條件式 總是為真。
参考资料编辑
引用编辑
- ^ Kleene 1967 p.27
来源编辑
- 左孝凌,李为鉴,刘永才.离散数学:上海科学技术文献出版社,1982年
- 王礼萍, 张树功. 重言式和矛盾式的代数化证明[J]. 计算机与数字工程, 2009, 37(8):17-21.
- 耿素云 屈婉玲 张立昂 .离散数学:清华大学出版社,2008:7
- 张凤霞. 基于一元算子的模糊蕴涵和余蕴涵及其广义重言式研究[D]. 山东大学, 2014.
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命