对位证明法
对位证明法[1](英語:proof by contrapositive,又或者proof by negation),或称否定证明法、逆否命题法[2],是逻辑數學的其中一個證明方法。其与反证法相似,但是是不同的概念。根據邏輯,「」等於「」,即取其逆否命题。[3]
需要注意,对位证明法与反证法不同。
定義编辑
给予给予初始实质条件命题“若P,则Q”: ,对位证明法证明其逻辑等价的逆否命题“若非Q,则非P”: 的真值。
逻辑上,对立证明法的可用性可以以比较逆否命题和原命题的真值表证明,即证明 和 的真值完全一样:
T | T | F | F | T | T |
T | F | F | T | F | F |
F | T | T | F | T | T |
F | F | T | T | T | T |
例子编辑
- 「我的妈妈是女人。」需要证明的逆否命题是「不是女人就不是我的妈妈。」
- 「若 是单数,则 是双数。」需要证明的逆否命题是「若 不是双数,则 不是单数。」
反證法与对立證明的分別编辑
反證法:假設 正确, ,發現 不对,於是證明 正确。
否定證明:證明 正确,於是转换證明 正确。
證明例子编辑
證明「假設 是雙數,则 都會是雙數。」
證明:
逆否命题:「假設 不是雙數,则 也不是雙數。」
換句話講,即係「假設 是單數,则 也是單數。」
因為 是單數,所以 的 是整数。
因為 是整数,所以 是單數。
集合論例子编辑
如果 都是集(set),而他们符合 和 。證明如果 ,则 。
證明:
如果用直接證明,會很麻烦。但是,如果利用对立證明,即假設 则会简单得多。
因為 ,而 ,所以 。
这样 一定成立。
更多例子编辑
以下命題都可以用对立證明证真:
参见编辑
參考编辑
- ^ 【学习笔记】离散数学(Discrete Math) - 证明 Proof 3. blog.csdn.net. [2021-11-18]. (原始内容存档于2021-11-18).
- ^ 反證法與逆否命題法. 線代啟示錄. 2016-03-17 [2021-11-18]. (原始内容存档于2021-11-18) (英语).
- ^ Mariotti, M. A. (2006). Proof and proving in mathematics education. Handbook of research on the psychology of mathematics education: Past, present and future, 173-204
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄