反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
[x]表示小于x的最大整数已知[√1]+[√2]+[√3]+……+[√n]≤2022，求n的最大值?数学上有「从理论上根本无法证明」的东西么？
反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？
如何用数学证明活着就有希望？
数学归纳法是不是「流氓」方法？
哪些数学命题曾经长期被误认为是正确的，但之后被严格证明是错的？
「苏格拉底会死」的三段论是不是循环论证？
我想问怎么样用数学去证明道的存在?
关于闭区间上连续函数的一个证明题？
如何看待π这个无理数？
相关的话题
这段论证有什么不合逻辑的地方？无理数为什么能用图形表示出来？
如何看待有人在不进行基本调查的情况下就断言“中国为什么没有逻辑学”？
什么是博弈论语义学？
有没有可能把 π 或 e 等无理数当成 1，这样就能使许多定理显而易见？
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
求指教一道数列证明题如何做？
计算机能不能真正意义上存储一个无理数？
罗素悖论里自身包含自身的集合构造出来违背同一律所以无法构造出来?
请问如何求下面这个连分数收敛到的值？
如何证明π是圆周率？
如何解答堆垛悖论？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
逻辑学中是否时间，空间和工具等词项，如果有它们在逻辑中有什么用，如果没，那为什么没有呢?
如何用逻辑学（或其他学术）解释事物的必然性?
公理不能战胜强权，那公理有什么用？
我想问怎么样用数学去证明道的存在?
请问这道高数题怎么做？是琴生不等式吗？
如何证明下面这个式子 ?
怎么用选择公理证明势的三歧性？
关于闭区间上连续函数的一个证明题？
如何证明π是圆周率？
如何看待关于 1 与 0.9999… 的大小的争论？
给定一个圆如何确定圆心?
请问这两个数分不等式如何证明?
求教一道积分证明题如何做？
关于推理所有A都是B,所有B都是C。那么“有些A是C”的结论正确吗？为什么?
每个人对同一个词的理解都不一样还有发表自己言论的必要吗？
数学物理定理是道家的道么?
只有我觉得芒果丢失，圆通快递员下跪事件里，这个警察出具的证明是不对的么？