反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第1页
1
lljpcz 网友的相关建议:
反证法是这么操作的
题目:已知P，求证Q。
证明:
如果Not Q成立，由题设知P成立。所以P and (Not Q)成立。
此时得到一个矛盾。
这等价于Not (P and (Not Q))成立。(因为P and (Not Q)矛盾了嘛)
这等价于(Not P) or Q成立。
而题设告诉我们P成立，也就是Not P不成立。所以这等价于Q成立。
这就证好了。
1
相关话题
证明素数对之间的数字总能被6整除？Taylor公式证明是怎么想出来的？
如果多数人认为真理掌握在少数人手中，那么真理到底掌握在谁手中呢？
Taylor公式证明是怎么想出来的？
如何解决这个数学问题？
这段论证有什么不合逻辑的地方？
男孩比女孩更擅长数学是真的吗？
想问问各位大手子这个定理怎么证明，题目在补充里?
男孩比女孩更擅长数学是真的吗？
为什么会有自我指涉性的悖论存在？是否代表逻辑学走错路了？
相关的话题
如何证明不存在这样的X和Y使得下等式成立?男孩比女孩更擅长数学是真的吗？
对于高数以及更加高深的数学学习者来说，你们是如何思考并想象数理问题的？
如何证明此角度为90度?
西方人的围棋水平如何？
怎么证明勾股定理?
如何看待有人在不进行基本调查的情况下就断言“中国为什么没有逻辑学”？
数学中有哪些巧合让人眼前一亮？
这段论证有什么不合逻辑的地方？
如何证明 ln^2(x+1)>ln(x)·ln(x+2)？
如何证明2的n次方≤（n+1）！，对于所有正整数n？
这个不等式该怎么证明呢？
如何证明 ln^2(x+1)>ln(x)·ln(x+2)？
辩论赛中有哪些不易发现但是其实很常见的逻辑谬误？
有哪些看起来高大上实际上非常容易证明的数学命题？
数学上有「从理论上根本无法证明」的东西么？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
我今年16岁，昨天花了2个小时用梅涅劳斯逆定理证明了帕斯卡定理，那我在数学方面有天赋吗？
如何证明一个数学命题的不可证性？
数学中有哪些明明是暴力破解还给人美感的证明？
什么是博弈论语义学？
公理不能战胜强权，那公理有什么用？
如何证明√2是无限不循环小数？
如果1+1＝0你认为是什么原因？
如何证明不等式 ln2>(2/5)^(2/5)?
如何用数学严谨证明 宾语前置=前置宾语?
存在“不存在”吗？
存在“不存在”吗？
如何证明一个无理数的整数倍数的小数部分在（0，1）上均匀分布？
如何简单清晰地解释哥德尔不完备定理？