反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？ 第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
相关话题
我自认为自己证明了0可以作为除数，若是如此将会有哪些改变？逻辑学中是否时间，空间和工具等词项，如果有它们在逻辑中有什么用，如果没，那为什么没有呢?
给定一个圆如何确定圆心?
这个证明该怎么做？
如何证明魏尔斯特拉斯函数处处不可导？
一个单身汉向神灯许愿“我想让我的女朋友送我一台PS5”会出现什么情况？
我自认为自己证明了0可以作为除数，若是如此将会有哪些改变？
有没有可能把 π 或 e 等无理数当成 1，这样就能使许多定理显而易见？
请问如何求下面这个连分数收敛到的值？
为什么在数轴上随便取一个点，一定取到的是无理数？
相关的话题
Does bivalence assume truth values to preserve？反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？
为什么我觉得逻辑证明是同义反复？
如何证明这个关于ζ(5)的等式？
如何这道计算绝对值不等式的题目？
如何证明下面这两个较复杂的不等式?
nπ-［nπ］是否存在收敛于0的子列？
函数可导，则其导函数可积？
这几个不等式如何证明?
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？
在高铁上如何迅速证明自己没抽烟？
思考一个问题，任意给定一个非零有理数和一个无理数，能否通过加减（可以无限次）使极限收敛到整个实数集？
「大数定律现象」的成立是数学推出的结果么？
无理数为什么能用图形表示出来？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
这样的数学归纳法是否成立？
如何证明 π > 3.05 ？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
对于高数以及更加高深的数学学习者来说，你们是如何思考并想象数理问题的？
如何解答堆垛悖论？
从1到1亿有一亿个整数，是否有可能存在一个整数，从来没有人读过它?
这么证明对吗？如果是错的怎么构造反例？
如何证明闭开区间无最大值(如反证法)？
如何看待关于 1 与 0.9999… 的大小的争论？
0.9999…（无限）…991和0.9循环和1是相等的么？
两条直线真的画不出一个圆吗？
如何反驳如下说法: 1不是无穷大，且若正整数n不是无穷大，则n+1不是无穷大，所以无穷大不存在？
什么叫工程问题，什么叫技术问题，什么叫科学问题？
原命题与逆否命题真假性一定相同吗？