百科问答小站 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成立。

这就证好了。




  

相关话题

  这个不等式该怎么证明呢? 
  如何运用积分的知识去解这一道数学分析的题目? 
  如果多数人认为真理掌握在少数人手中,那么真理到底掌握在谁手中呢? 
  「苏格拉底会死」的三段论是不是循环论证? 
  数列 0, 1, 0, -1, 0, 1, 0, -1... 的通项公式是多少呢? 
  数学中有哪些漂亮的无字证明? 
  “哥德巴赫猜想”的主要研究方法有哪些? 
  如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言? 
  有哪些比较有趣的,类似「鸡生蛋、蛋生鸡」的思想怪圈? 
  同时满足两个不同等差数列的数是否组成等差数列?如何证明?等比数列呢? 

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





© 2025-05-08 - tinynew.org. All Rights Reserved.
© 2025-05-08 - tinynew.org. 保留所有权利