百科问答小站 logo
百科问答小站 font logo



反证法中若得出与题设产生的矛盾,那在导出矛盾过程中不考虑命题的充分性和必要性吗? 第1页

  

user avatar   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+1=0你认为是什么原因? 
  为什么有理数 1/49 看起来这么像是个无限不循环小数?循环节在哪里? 
  两条直线真的画不出一个圆吗? 
  这道几何题怎么证明? 
  数列1,2,9,44,265有名字吗? 
  是否存在五个面都为三角形的五面体? 
  下列证明题(积分不等式)怎么证明? 
  下列证明题(积分不等式)怎么证明? 
  如果我能证明哥德巴赫猜想,也就是1+1,那么写成文章发在知乎应该成果不会被它人盗取吧? 
  宇宙大爆炸理论是否否定了存在主义学说? 

前一个讨论
如何证明在a,b为正实数,a+b=a^3+b^3时,a+b∈(1,2(√3)/3]?
下一个讨论
高一新生看欧几里得的几何原本好还是希尔伯特的几何基础好?





© 2025-02-23 - tinynew.org. All Rights Reserved.
© 2025-02-23 - tinynew.org. 保留所有权利