反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
该三段论的逻辑正确吗？如何看待关于 1 与 0.9999… 的大小的争论？
「有些动物是猫，有些猫是黄色的，所以有些动物是黄色的」这个三段论有没有问题？
如何用数学证明活着就有希望？
在1+1=2被证明出来之前到底是谁规定了1+1必须等于2呢？
如何证明下面的数学分析问题？
是否存在五个面都为三角形的五面体？
这么证明对吗？如果是错的怎么构造反例？
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
如果我能证明哥德巴赫猜想，也就是1+1，那么写成文章发在知乎应该成果不会被它人盗取吧？
相关的话题
怎么 证明 等式 11k + 8 = y^2 , k∈Z, y不存在整数解?数学证明题可以这样做吗？
这个积分如何证明？
在数学证明中，假设一个微元epsilon的思路是怎么来的？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
人文社科领域的学生是否有必要学习一点逻辑学？
无理数为什么能用图形表示出来？
什么是可证伪？
一个正常智商的人终其一生能够理解费马大定理的证明吗？
逻辑学究竟在学什么?
「大数定律现象」的成立是数学推出的结果么？
如果让过去的顶级数学家参加IMO，会是什么成绩？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
为什么7×5=5×7？
为什么欧几里得在《几何原本》中的第四公设要设定所有的直角都相等？
这种观点能不能被证明，如果能请帮我指出?
如果让过去的顶级数学家参加IMO，会是什么成绩？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
勒让德猜想被证明了吗？
为什么会有自我指涉性的悖论存在？是否代表逻辑学走错路了？
这道证明题该怎么做？
关于「子非鱼」，庄子诡辩了吗？
请问如何求下面这个连分数收敛到的值？
圆周率里包含你的银行卡密码吗？
为什么逻辑学的排中律不是任何条件下都可使用的?
数学证明题可以这样做吗？
数列 0, 1, 0, -1, 0, 1, 0, -1... 的通项公式是多少呢？
为什么7×5=5×7？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
如果用进步次数评定一个人的成绩，如何获取第一名？