反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
如何回答孩子提出的6+6＝5+7，6×6≠5×7，且5×7比6×6少1，3×5比4×4也少1的问题?若 π 被证明是有理数会对世界有何影响？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
这道几何题怎么证明？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
圆周率里包含你的银行卡密码吗？
证明角的三分之一，怎么证明？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
数列连续两项之差在满足什么样的情况下可推出数列有界？
如何能更好地理解（ε-δ）语言极限的定义？
相关的话题
请问这道高数题怎么做？是琴生不等式吗？如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数？
如何以AB为高尺规作图作等边三角形？
求解：逻辑中定义判断怎样找主客体?
这个定理请问有人会证明吗？
等比数列的任意连续三项的中间一项都是另外两项的等比中项吗？
初等数学并不能严格定义自然数、整数、有理数、实数等，可为什么能用初等数学方法证明根号 2 是无理数？
这个证明该怎么做？
这个定理请问有人会证明吗？
这道几何题怎么证明？
二重积分中值定理怎么证明？
如何证明此角度为90度?
如何评价强权即公理？
函数可导，则其导函数可积？
我想问怎么样用数学去证明道的存在?
数学中有哪些明明是暴力破解还给人美感的证明？
请问一下数学上是否有什么定理已经被证明，但是还没找到相对应的例子（实例）？
全序关系和偏序关系的区别是什么？
数学上有什么有名的结论是利用另一个数学分支上的知识得到的？
关于闭区间上连续函数的一个证明题？
如何证明此角度为90度?
数学真的是一门有意义的学科吗?
如何证明不存在这样的X和Y使得下等式成立?
能否绝对地区分出虚数 i 与 -i？
如何证明这个关于ζ(5)的等式？
任给一张面积为A的纸片，如何证明必可将它剪为面积相等的两块？
如果多数人认为真理掌握在少数人手中，那么真理到底掌握在谁手中呢？
初等数学并不能严格定义自然数、整数、有理数、实数等，可为什么能用初等数学方法证明根号 2 是无理数？
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
逻辑学中，前提为假而命题为真的推论如何解释？