使用反证法解决不可解的问题_day70

什么是反证法

  1. 首先,假设命题否定的形式,成立
  2. 根据假设进行的论证,推导出矛盾的结果

一言以屏蔽,反证法就是“先假设命题的否定形式成立,然后在进行推理,引出矛盾”的论证方法

思考一下-为什么不存在最大的整数

用反证法证明不存在最大的整数

  • 假设存在最大的整数,并将它设为M
  • 那么M+1就比M大,这与M是最大整数的假设相矛盾
  • 因此不存在最大的整数

这里就是需要证明的不存在最大的整数

那么反证法其实就是证明最大的整数

©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

相关阅读更多精彩内容

  • 1.2、逻辑用语 一、命题 我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。其中,判断为真的语句叫做...
    椰子数学阅读 14,047评论 0 4
  • 1.3、推理与证明 一、推理 1、推理定义 根据一个或几个已知的事实(或假设)得出一个判断的思维方式叫做推理。推理...
    椰子数学阅读 8,429评论 0 0
  • 选自王浩的《逻辑之旅》第6章 王浩(1921-1995),美籍华商数字家、辑学家、计算机科学家、哲学家。1921年...
    你他娘的真是个天才阅读 6,394评论 0 3
  • 两岁半开始进入了语言爆发期.可以用整句来表达自己的想法.描述事情的经过,少了动手、动脚、动嘴咬人的事情发生。孩子能...
    Cissy_Dong阅读 1,112评论 0 0
  • 过年放假7天,大半时间留给大家庭,和先生多请了两天留给小家庭。每年我们都会在这个时候,四处走走,去年去了丹寨。此刻...
    欣的领域阅读 3,838评论 0 10

友情链接更多精彩内容