反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
请问这两个数分不等式如何证明?这样的数学归纳法是否成立？
如何证明 ln^2(x+1)>ln(x)·ln(x+2)？
为什么欧几里得在《几何原本》中的第四公设要设定所有的直角都相等？
如何证明不等式 ln2>(2/5)^(2/5)?
数学上有「从理论上根本无法证明」的东西么？
这段论证有什么不合逻辑的地方？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
怎么在不公布证明的情况下让世人相信我证明了「哥猜」?
混乱中蕴含着有序吗？
相关的话题
什么叫工程问题，什么叫技术问题，什么叫科学问题？如何证明这个关于ζ(5)的等式？
反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？
混乱中蕴含着有序吗？
给定一个圆如何确定圆心?
原命题与逆否命题真假性一定相同吗？
有哪些「这也能用数学证明」的事件？
为什么 0+1=1 而 0+2≠1？
在3位数中找到第一个满足下列要求的正整数n，其各位数字的立方和恰好等于他本身，该怎么做？
为什么有人会认为中医药有效？
如何证明自己是对的？
下面这个积分不等式证明有什么好的方法？
存在“不存在”吗？
绝对值不等式的发展史是什么呢？
不等式如何证明?
如果1+1＝0你认为是什么原因？
一道初等数论作业题，请问怎么解决？
下面的组合等式是否恒成立？
为什么逻辑学三定律（同一律、矛盾律、排中律）不能被违反，违反会怎样？
怎样用一个普通人能看懂的方法证明 π 是无理数？
这些无穷乘积展开式怎么证明?
如何看待 bilibili up主 Happylee 对 0.999...≠1 的证明？
如何用逻辑学（或其他学术）解释事物的必然性?
如何证明魏尔斯特拉斯函数处处不可导？
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
e^6≈π^4+π^5有什么数学背景吗？
多项式由系数唯一决定，在中学或大学数学课上证明过吗？
演绎推理中如果结果和前提都正确，那么过程是否必然正确？
二重积分中值定理怎么证明？
如果用进步次数评定一个人的成绩，如何获取第一名？