反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
对于高数以及更加高深的数学学习者来说，你们是如何思考并想象数理问题的？反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？
证明的定义是什么？证明的意义是什么？
第十题证明题不会写，哪个大佬帮我看一下?
如何用逻辑学（或其他学术）解释事物的必然性?
什么叫工程问题，什么叫技术问题，什么叫科学问题？
为什么有人会认为中医药有效？
Does bivalence assume truth values to preserve？
混乱中蕴含着有序吗？
如何用初等数学证明2的a次方（a大于零）大于1？
相关的话题
为什么因果关系中的原因必须在结果之前，而不能在时间上颠倒？证明的定义是什么？证明的意义是什么？
为什么因果关系中的原因必须在结果之前，而不能在时间上颠倒？
数学是人类的发明，还是发现？
证明角的三分之一，怎么证明？
如何证明π^π^π^π(π的四次迭代幂次)是个有理数?
“逻辑”能够做一切事情的判断依据吗?
这些无穷乘积展开式怎么证明?
第五题如何证明呢？
二重积分中值定理怎么证明？
如何用数学证明活着就有希望？
自然数0 的现实意义是什么？
是否存在五个面都为三角形的五面体？
能否绝对地区分出虚数 i 与 -i？
什么是博弈论语义学？
怎么 证明 等式 11k + 8 = y^2 , k∈Z, y不存在整数解?
忒修斯悖论（ship of Theseus）怎么解决？
怎么在不公布证明的情况下让世人相信我证明了「哥猜」?
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?
这个证明怎么证？
有哪些「这也能用数学证明」的事件？
请问这个完全剩余系的性质如何证明？
如何看待我坚持1+1=3？
对于高数以及更加高深的数学学习者来说，你们是如何思考并想象数理问题的？
Does bivalence assume truth values to preserve？
如果让过去的顶级数学家参加IMO，会是什么成绩？
混乱中蕴含着有序吗？
如何证明下面这个式子 ?
你见过哪些堪称绝妙的数学证明？
「缸中之脑」这一谜题是被如何反驳的？