反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
这些无穷乘积展开式怎么证明?只有我觉得芒果丢失，圆通快递员下跪事件里，这个警察出具的证明是不对的么？
「罗素悖论」的提出给数学界带来何种影响，如何通俗地理解这一悖论？
经常看到有些支持儒家的人说，“没有腐朽的思想，只有腐朽的人”，总感觉这句话哪里不对，不知道大家怎么看？
一个单身汉向神灯许愿“我想让我的女朋友送我一台PS5”会出现什么情况？
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
正常运转的时钟存在某一时刻三个指针互成120°角吗？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
二重积分中值定理怎么证明？
这道证明题该怎么做？
相关的话题
如何解决这个数学问题？等比数列的任意连续三项的中间一项都是另外两项的等比中项吗？
[x]表示小于x的最大整数已知[√1]+[√2]+[√3]+……+[√n]≤2022，求n的最大值?
两条直线真的画不出一个圆吗？
如何证明在a，b为正实数，a+b=a＾3+b＾3时，a+b∈（1，2（√3）/3]？
如何证明2的n次方≤（n+1）！，对于所有正整数n？
关于「子非鱼」，庄子诡辩了吗？
如何以AB为高尺规作图作等边三角形？
什么是可证伪？
如何理解数学证明中的容易验证？
能否构造一组无理数a,b，使得a^b是有理数?
有两个三段论的例子，一直想不明白…？
如何推导下面这个等式？
如何得知自己是不是证得了阿罗汉果味？
在集合的势的意义下，是否存在比实数集更大的全序集？
请问一下数学上是否有什么定理已经被证明，但是还没找到相对应的例子（实例）？
为什么因果关系中的原因必须在结果之前，而不能在时间上颠倒？
能否绝对地区分出虚数 i 与 -i？
如何运用积分的知识去解这一道数学分析的题目？
能不能以“圆周率被证明是一个有理数”为开头写一篇小说？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
为什么我觉得逻辑证明是同义反复？
忒修斯悖论（ship of Theseus）怎么解决？
如何以AB为高尺规作图作等边三角形？
这几个不等式如何证明?
下面这个组合恒等式如何证明？
为什么我觉得逻辑证明是同义反复？
如何用数学证明中医理论的合理性？
为什么因果关系中的原因必须在结果之前，而不能在时间上颠倒？
如何证明不等式 ln2>(2/5)^(2/5)?