首页 | 本学科首页   官方微博 | 高级检索  
     检索      

反证法与否定命题浅析
引用本文:邓自生.反证法与否定命题浅析[J].湖南师范大学教育科学学报,2000(Z3).
作者姓名:邓自生
作者单位:沅陵县二中
摘    要:反证法是从假设命题结论的反面成立出发,经过正确的推理,导致矛盾,推翻原先的假设,从而证得命题结论成立的一种方法。它的基本思想是“否定-推理-矛盾-肯定”。 否定-即通过假设原命题结论的反面成立,来否定原命题的结论。 推理-从原命题的条件和假设出发,进行正确的推理。 矛盾-推理的结果导致与已知条件、定义、公理、定理或明显事实相矛盾,也可以是自相矛盾。 肯定-矛盾产生的根源是由假设所引起,因此假设是虚假的,从而肯定原命题结论正确。 反证法的关键是能否正确提出命题结论的否定命题。对于初学反证法的同学,有必…

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号