反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
只有我觉得芒果丢失，圆通快递员下跪事件里，这个警察出具的证明是不对的么？如何评价强权即公理？
中国不教逻辑学吗？为什么？
除了π，e，0.618，还有没有其他一些有特殊意义的数？
辩论赛中有哪些不易发现但是其实很常见的逻辑谬误？
二维码是否会重复？能否用数学证明？
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
如何用逻辑学（或其他学术）解释事物的必然性?
为什么许多问题几何性质很明确，但却还要证明呢？
如何证明 2 的平方根不是有理数？
相关的话题
两条直线真的画不出一个圆吗？为什么欧几里得在《几何原本》中的第四公设要设定所有的直角都相等？
在高铁上如何迅速证明自己没抽烟？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
如何证明以下等式?
如何解决这个数学问题？
有哪些看起来很简单证明起来却很难的问题？
数学证明题可以这样做吗？
如何简单清晰地解释哥德尔不完备定理？
从逻辑学上说，下面这个问题这犯了什么错误？
在1+1=2被证明出来之前到底是谁规定了1+1必须等于2呢？
混乱中蕴含着有序吗？
大佬们这个等式怎么证？
如何回答孩子提出的6+6＝5+7，6×6≠5×7，且5×7比6×6少1，3×5比4×4也少1的问题?
男孩比女孩更擅长数学是真的吗？
如何证明自己是对的？
e^6≈π^4+π^5有什么数学背景吗？
这几个不等式如何证明?
下面这个组合恒等式如何证明？
如何证明π^π^π^π(π的四次迭代幂次)是个有理数?
关乎1+1等于2，我们的科学是否建立在正确的立场？
如何能更好地理解（ε-δ）语言极限的定义？
这道几何题怎么证明？
是否存在五个面都为三角形的五面体？
两个小数的积一定是小数吗？
无理数是否可能是一个循环周期过大甚至是无限的一个有理数？
如何证明最小正周期为无理数的数列f（n）极限不存在？
如何证明√2是无限不循环小数？
如果K'/K=1/sqrt{2},那么k等于多少？
这种观点能不能被证明，如果能请帮我指出?