反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
有哪些比较有趣的，类似「鸡生蛋、蛋生鸡」的思想怪圈？如果正方形是圆，那么圆是正方形吗？
如何以AB为高尺规作图作等边三角形？
有没有可能把 π 或 e 等无理数当成 1，这样就能使许多定理显而易见？
这么证明对吗？如果是错的怎么构造反例？
若1+1=2，则雪是白色的，这是真命题吗？
计算机能不能真正意义上存储一个无理数？
在集合的势的意义下，是否存在比实数集更大的全序集？
公理不能战胜强权，那公理有什么用？
求指教一道数列证明题如何做？
相关的话题
任给一张面积为A的纸片，如何证明必可将它剪为面积相等的两块？这段论证有什么不合逻辑的地方？
与1相邻的实数存在吗？
除了π，e，0.618，还有没有其他一些有特殊意义的数？
能否绝对地区分出虚数 i 与 -i？
如何通俗地理解「韦达跳跃」，如何证明？
除了π，e，0.618，还有没有其他一些有特殊意义的数？
逻辑学中是否时间，空间和工具等词项，如果有它们在逻辑中有什么用，如果没，那为什么没有呢?
「罗素悖论」的提出给数学界带来何种影响，如何通俗地理解这一悖论？
男孩比女孩更擅长数学是真的吗？
如何证明最小正周期为无理数的数列f（n）极限不存在？
怎么用正切函数连分数展开式证明圆周率是无理数?
可不可以将所有无理数全都用 有理数·π 来表示？
数列1，2，9，44，265有名字吗？
能否构造一组无理数a,b，使得a^b是有理数?
反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？
计算机能不能真正意义上存储一个无理数？
如何解决这个数学问题？
数学为什么需要证明一些看起来非常直观、明显的东西（比如定理）？
这几个不等式如何证明?
「缸中之脑」这一谜题是被如何反驳的？
这种观点能不能被证明，如果能请帮我指出?
逻辑学究竟在学什么?
如何看待 bilibili up主 Happylee 对 0.999...≠1 的证明？
为什么逻辑学三定律（同一律、矛盾律、排中律）不能被违反，违反会怎样？
怎么看待对数学理论、定理「有什么用」这类问题？
为什么现在中国有这么多优秀的哲学学者，却没有哲学家存在？
为什么会有自我指涉性的悖论存在？是否代表逻辑学走错路了？
数学中有哪些漂亮的无字证明？
你见过哪些堪称绝妙的数学证明？