- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
【标题】反证法在中学中的若干应用 【作者】张 春 念 【关键词】理论依据??使用范围??教学 【指导老师】邓 淙 【专业】数学与应用数学 【正文】1.引言反证法是一种间接证法。在数学中往往有这样一些命题,直接证明比较困难或非常复杂,用反证法很快就能得到解决。反证法不但在初等数学中得到广泛的应用,就是在高等数学中也是不可缺少的一种重要论证方法。反证法是数学中重要的一种证明方法,也是中学数学教学的一个难点。在反证法的学习中,学生由于对反证法的认识不够、理解不深、缺乏证明命题必要的逻辑推理能力,不能正确地应用反证法来证明数学命题,教师在教学中也不易突破。因此,深入阐明反证法的逻辑原理与使用方法,必将有助于教师,特别是青年教师突破教学难点,在教学中更好地培养学生的逻辑思维能力和分析问题解决问题的能力。对反证法的认识和理论依据,目前仍存在一些争议。一种意见认为反证法的依据是排中律,形式是对逆否命题展开证明;另一种意见认为,前述的看法至少是片面的,反证法的意义和外延,比它广泛得多。值得说明的是前一种说法对反证法本身的叙述并没有错,只是在论述其实质时有些等同于原命题逆否命题的证明,这便大大缩小了这一证法的外延,因而可能造成使用反证法时的局限。本文结合实例,系统地阐述了反证法的理论依据、证明模式、种类、应用反证法时所导致矛盾的类型、以及在什么情况下运用反证法较为合宜、反证法的教学等问题,试图为中学数学中反证法的教学提供一份参考。2.预备知识2.1命题每一个对某件事情的判断都可称为命题。命题有真有假,当对某一件事情的判断正确时就称为真命题,否则就称为假命题。比如“如果?,则?”就是一个命题,这命题由两部分组成,称?为条件,?为结论。实际上?和?本身也是一个命题。我们把命题“如果?,则?”为真的情形,理解为“?之成立(真)可以推出?之成立(真)”,也可视为?到?的推理过程。命题一般可用字母?、?等表示。若命题?为真便记作?;若命题?为假,则记作?。1与0统称为真值。2.2命题的运算1)命题的或(加法):命题?或?记为?,当且仅当?、?两者中至少有一为真时?为真。2)命题的且(乘法):命题?且?记为?,当且仅当?、?两者都为真时?为真。3)命题的否定(非):命题?的否定记为?,当且仅当?为假时?为真。4)命题的蕴含(若……,则……):?蕴含?(若?,则?)记为?,当且仅当?为真?为假时?为假。上述几种运算的真值表总结于下:?01 10?????0 00 11 01? 1 0111 0001 11013.反证法的原理3.1反证法的含义法国数学家阿达玛说过:“反证法在于表明,若肯定定理的假设而否定其结论,就会导致矛盾。”先假设命题中结论的反面成立,结合已知的定理条件,进行正确的推理、论证,得出和命题中的题设或存在的定义、公理、定理、已知的事实相矛盾,或自相矛盾的结果,从而断定命题结论的反面不可能成立,因而断定命题中的结论成立,这种证明的方法就叫做反证法。[1]3.2反证法的理论依据3.2.1逻辑基础反证法依据的是逻辑学中的两个基本规律:排中律和矛盾律,任何一个判断或者为真,或者为假,二者必居其一,且只居其一,不可能有第三种情况,这就是排中律。对于一个命题“若?,则?”,根据排中律,“?真”、“?不真”(即?真)之中必有一个是对的,否定了其中一个,就肯定了另一个。那么如何知道“结论?的反面不真”呢?这是由“在同一论证过程中,两个互相反对或互相否定的论断,至少必有一假”,这就是矛盾律。当假定结论?不成立,就会导致与已知的真命题(如公理、定理、定义、题设等)矛盾时,根据矛盾律,在数学的理论体系中不可能有矛盾结果,而各步的推理又正确,则假设结论?不成立是错误的,即“?假”被证明了。3.2.2逻辑分析设原命题为?,反证法可表示为??????????????????????????(3-1)这里,F表示一个恒假命题(或相对?假)。也就是说,(3-1)式是一永真式,证明如下:?????F ????1 11 00 10? 0 0101 0000 0100 1011 1011 1111由上面的真值表看出,(3-1)式确是永真的。可见,当证明?困难时,可转化为证明?,这里,?可以是某公理,或某定理;还可以是相对于?假,即还可以是?,或?,或?。而不必一定转化去证?的逆命题。设原命题为?,它的逆否命题是?。作下面的真值表:p? q ??????1? 11? 00? 10? 0 0?? 00?? 11?? 01?? 1 1011 1011 1111从表中即得?
您可能关注的文档
最近下载
- 雄安新区绿色建筑设计导则.docx VIP
- [物理]fname=避雷针保护范围计算1.ppt VIP
- (高清版)DB1331∕T 039-2023雄安新区绿色建筑设计标准.docx VIP
- 四年级下数学试卷.doc VIP
- 制冷与空调作业危险性分析.pptx
- 人教版小学五年级下册数学综合测试卷一.doc VIP
- 循证护理模式下(SAPIM)一例老年卒中后吞咽障碍患者的营养管理PPT.pptx VIP
- DB1331_T 040-2023 雄安新区绿色城区规划设计标准.pdf VIP
- 2025高中物理讲义(含解析)第一章 运动的描述 匀变速直线运动的研究.pdf VIP
- DB1331T 068-2023 雄安新区园区碳排放核算标准 第1部分:公共建筑园区.pdf VIP
文档评论(0)