反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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的问题?
有没有可能一个数学证明是错的，然而所有人都没注意到呢？
什么是博弈论语义学？
求指教一道不等式证明题如何做？
如果有一台真理机器只能回答是或不是，能对人类社会作多大贡献？
如何回答孩子提出的6+6＝5+7，6×6≠5×7，且5×7比6×6少1，3×5比4×4也少1的问题?
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
二重积分中值定理怎么证明？
能不能以“圆周率被证明是一个有理数”为开头写一篇小说？
相关的话题
如何简单清晰地解释哥德尔不完备定理？大佬们这个等式怎么证？
数学归纳法是不是「流氓」方法？
第十题证明题不会写，哪个大佬帮我看一下?
下列证明题（积分不等式）怎么证明?
哪些数学命题曾经长期被误认为是正确的，但之后被严格证明是错的？
如何看待π这个无理数？
e^6≈π^4+π^5有什么数学背景吗？
如何评价强权即公理？
这个证明该怎么做？
数学真的是一门有意义的学科吗?
下面这个组合恒等式如何证明？
从1到1亿有一亿个整数，是否有可能存在一个整数，从来没有人读过它?
与1相邻的实数存在吗？
“剥削”一词在马哲理论的论证中算不算一种诉诸情感和同情的表述方式？
这样的数学归纳法是否成立？
为什么明明占着优势却会因为对方耍无赖而吃亏？
想问问各位大手子这个定理怎么证明，题目在补充里?
为什么7×5=5×7？
想问问各位大手子这个定理怎么证明，题目在补充里?
只有我觉得芒果丢失，圆通快递员下跪事件里，这个警察出具的证明是不对的么？
有哪些自己发现并证明的并自以为得意的初等数学定理？
请问这样证明角谷猜想有什么错误吗？
为什么许多问题几何性质很明确，但却还要证明呢？
证明数学定理的意义是什么？
如果K'/K=1/sqrt{2},那么k等于多少？
数学为什么需要证明一些看起来非常直观、明显的东西（比如定理）？
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
如何证明不存在这样的X和Y使得下等式成立?
在1+1=2被证明出来之前到底是谁规定了1+1必须等于2呢？