反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
如何证明调和算数几何平均值不等式？这种观点能不能被证明，如果能请帮我指出?
为什么欧几里得在《几何原本》中的第四公设要设定所有的直角都相等？
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?
对于高数以及更加高深的数学学习者来说，你们是如何思考并想象数理问题的？
什么是科学上的「没有证据表明」？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？
如何证明闭开区间无最大值(如反证法)？
怎么看待对数学理论、定理「有什么用」这类问题？
相关的话题
罗素悖论里自身包含自身的集合构造出来违背同一律所以无法构造出来?数学中有哪些明明是暴力破解还给人美感的证明？
正常运转的时钟存在某一时刻三个指针互成120°角吗？
如何用数学证明活着就有希望？
为什么有理数 1/49 看起来这么像是个无限不循环小数？循环节在哪里？
如何证明此不等式呢？
如何证明e为无理数?
如何证明下面的数学分析问题？
各种语言中量词的类型有哪些？
这几个不等式如何证明?
如何证明n+1~2n最大奇因子之和等于n²？
均值回归可以作为解释一种现象的原因吗？
如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数？
在1+1=2被证明出来之前到底是谁规定了1+1必须等于2呢？
对于高数以及更加高深的数学学习者来说，你们是如何思考并想象数理问题的？
数学上有「从理论上根本无法证明」的东西么？
如何看待π这个无理数？
√8-√2=√2，这是怎么得出来的？
如何用逻辑学（或其他学术）解释事物的必然性?
为什么会有自我指涉性的悖论存在？是否代表逻辑学走错路了？
如何证明 sin(a+b)＝sina·cosb＋sinb·cosa？
为什么逻辑学的排中律不是任何条件下都可使用的?
「有些动物是猫，有些猫是黄色的，所以有些动物是黄色的」这个三段论有没有问题？
如何证明自己是对的？
能否构造一组无理数a,b，使得a^b是有理数?
求教一道积分证明题如何做？
为什么欧几里得在《几何原本》中的第四公设要设定所有的直角都相等？
如何反驳如下说法: 1不是无穷大，且若正整数n不是无穷大，则n+1不是无穷大，所以无穷大不存在？
均值回归可以作为解释一种现象的原因吗？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？