反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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+1＝0你认为是什么原因？
如何简单清晰地解释哥德尔不完备定理？
这几个不等式如何证明?
[x]表示小于x的最大整数已知[√1]+[√2]+[√3]+……+[√n]≤2022，求n的最大值?
证明角的三分之一，怎么证明？
如何证明圆上有理点的稠密性？
正常运转的时钟存在某一时刻三个指针互成120°角吗？
对任意无理数，都存在有理数列趋近于这个无理数，为什么，怎么找这个有理数列？
证明素数对之间的数字总能被6整除？
相关的话题
如何理解数学证明中的容易验证？请问扩展欧拉定理（扩展欧拉定理！不是欧拉定理！）有什么比较简洁易懂的证明方式吗？
若1+1=2，则雪是白色的，这是真命题吗？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
我今年16岁，昨天花了2个小时用梅涅劳斯逆定理证明了帕斯卡定理，那我在数学方面有天赋吗？
如何证明数学定理全宇宙通用？
如何证明下面这个式子 ?
这个不等式该怎么证明呢？
如何证明闭开区间无最大值(如反证法)？
有哪些「这也能用数学证明」的事件？
Taylor公式证明是怎么想出来的？
如何看待 bilibili up主 Happylee 对 0.999...≠1 的证明？
这么证明对吗？如果是错的怎么构造反例？
数学中有哪些明明是暴力破解还给人美感的证明？
有哪些自己发现并证明的并自以为得意的初等数学定理？
Does bivalence assume truth values to preserve？
如何证明调和算数几何平均值不等式？
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?
如何证明 π > 3.05 ？
如何证明在a，b为正实数，a+b=a＾3+b＾3时，a+b∈（1，2（√3）/3]？
这个证明怎么证？
圆周率里包含你的银行卡密码吗？
为什么 0+1=1 而 0+2≠1？
等比数列的任意连续三项的中间一项都是另外两项的等比中项吗？
如何证明 π＞3.14？
如何解决这个数学问题？
有哪些自己发现并证明的并自以为得意的初等数学定理？
为什么逻辑学的排中律不是任何条件下都可使用的?
逻辑是真实存在的吗？如果是，它是如何存在的呢？
如何通俗地理解「韦达跳跃」，如何证明？