反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
求指教一道数列证明题如何做？什么是科学上的「没有证据表明」？
数学为什么需要证明一些看起来非常直观、明显的东西（比如定理）？
为什么 0+1=1 而 0+2≠1？
[x]表示小于x的最大整数已知[√1]+[√2]+[√3]+……+[√n]≤2022，求n的最大值?
各位大佬有什么好方法证明这个不等式?
勒让德猜想被证明了吗？
如何证明在a，b为正实数，a+b=a＾3+b＾3时，a+b∈（1，2（√3）/3]？
等词是否可以用属于来定义？
全能悖论中，上帝不能举起的石头是不是属于上帝全能之中？
相关的话题
数学物理定理是道家的道么?一道初等数论作业题，请问怎么解决？
如何证明调和算数几何平均值不等式？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
证明素数对之间的数字总能被6整除？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
经常看到有些支持儒家的人说，“没有腐朽的思想，只有腐朽的人”，总感觉这句话哪里不对，不知道大家怎么看？
为什么明明占着优势却会因为对方耍无赖而吃亏？
数学归纳法是不是「流氓」方法？
一个正常智商的人终其一生能够理解费马大定理的证明吗？
如果有一台真理机器只能回答是或不是，能对人类社会作多大贡献？
如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数？
Taylor公式证明是怎么想出来的？
如何用一句话证明自己没睡醒？
围棋存在先手必胜／后手必胜的情况，又是否所有回合制游戏只要算力达到了就一定有先手必胜或者先手必输法则？
请问这样证明角谷猜想有什么错误吗？
均值回归可以作为解释一种现象的原因吗？
“逻辑”能够做一切事情的判断依据吗?
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
数学上有什么有名的结论是利用另一个数学分支上的知识得到的？
为什么现在中国有这么多优秀的哲学学者，却没有哲学家存在？
给定一个圆如何确定圆心?
如何用数学证明中医理论的合理性？
如何用数学严谨证明 宾语前置=前置宾语?
这么证明对吗？如果是错的怎么构造反例？
为什么明明占着优势却会因为对方耍无赖而吃亏？
有哪些看起来很简单证明起来却很难的问题？
如果让过去的顶级数学家参加IMO，会是什么成绩？
中国没有成体系的逻辑学，导致了哪些有趣的中国特有的事物？
有哪些比较有趣的，类似「鸡生蛋、蛋生鸡」的思想怪圈？