反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
请问这个不等式（微积分怎么证明?中国不教逻辑学吗？为什么？
如何证明将任意3的倍数各数位数字立方求和，重复数次后得到固定数值153?
均值回归可以作为解释一种现象的原因吗？
请问这个不等式（微积分怎么证明?
如何解决此道数学分析不等式？
为什么现在中国有这么多优秀的哲学学者，却没有哲学家存在？
怎么在不公布证明的情况下让世人相信我证明了「哥猜」?
有哪些比较有趣的，类似「鸡生蛋、蛋生鸡」的思想怪圈？
圆周率里包含你的银行卡密码吗？
相关的话题
如何评价强权即公理？有理数集和无理数集哪个大，为什么？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
如何回答孩子提出的6+6＝5+7，6×6≠5×7，且5×7比6×6少1，3×5比4×4也少1的问题?
如何运用积分的知识去解这一道数学分析的题目？
怎么 证明 等式 11k + 8 = y^2 , k∈Z, y不存在整数解?
数学归纳法是不是「流氓」方法？
如何证明下面的数学分析问题？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
如何证明2的n次方≤（n+1）！，对于所有正整数n？
e^6≈π^4+π^5有什么数学背景吗？
混乱中蕴含着有序吗？
如何证明 ln^2(x+1)>ln(x)·ln(x+2)？
如何证明数学定理全宇宙通用？
数学是不是必然会存在不确定领域？
这个不等式该怎么证明呢？
如何证明在a，b为正实数，a+b=a＾3+b＾3时，a+b∈（1，2（√3）/3]？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
如何证明n+1~2n最大奇因子之和等于n²？
0.9999…（无限）…991和0.9循环和1是相等的么？
如何用数学证明活着就有希望？
经常看到有些支持儒家的人说，“没有腐朽的思想，只有腐朽的人”，总感觉这句话哪里不对，不知道大家怎么看？
理解的本质是否仅仅是“记住了”？
数学物理定理是道家的道么?
忒修斯悖论（ship of Theseus）怎么解决？
该三段论的逻辑正确吗？
给定一个圆如何确定圆心?
下面的组合等式是否恒成立？
π的1997次方的小数点后1997位是多少？
你见过哪些堪称绝妙的数学证明？