反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
如何证明闭开区间无最大值(如反证法)？怎样判断简单命题的真假？
这个证明该怎么做？
数学是人类的发明，还是发现？
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
原命题与逆否命题真假性一定相同吗？
为什么许多问题几何性质很明确，但却还要证明呢？
数学是不是必然会存在不确定领域？
我将人类的创造力思维，用逻辑学公式化了，请问有价值吗？
我想问怎么样用数学去证明道的存在?
相关的话题
等比数列的任意连续三项的中间一项都是另外两项的等比中项吗？如何解决这个数学问题？
反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？
解决初等几何题目使用辅助线的逻辑原理是什么？
数列1，2，9，44，265有名字吗？
「苏格拉底会死」的三段论是不是循环论证？
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
一个正常智商的人终其一生能够理解费马大定理的证明吗？
中国教育体系内有逻辑学课程吗？为什么？
关乎1+1等于2，我们的科学是否建立在正确的立场？
均值回归可以作为解释一种现象的原因吗？
从逻辑学上说，下面这个问题这犯了什么错误？
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
第五题如何证明呢？
求解：逻辑中定义判断怎样找主客体?
请问这两个数分不等式如何证明?
勒让德猜想被证明了吗？
这个积分如何证明？
思考一个问题，任意给定一个非零有理数和一个无理数，能否通过加减（可以无限次）使极限收敛到整个实数集？
能不能以“圆周率被证明是一个有理数”为开头写一篇小说？
如何证明圆上有理点的稠密性？
哪些数学命题曾经长期被误认为是正确的，但之后被严格证明是错的？
有没有可能一个数学证明是错的，然而所有人都没注意到呢？
如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数？
证明数学定理的意义是什么？
如何看待我坚持1+1=3？
你见过哪些堪称绝妙的数学证明？
请问这个积分不等式怎么做呢，用递推试了下没做出来?
如何证明2的n次方≤（n+1）！，对于所有正整数n？
如何证明e为无理数?