文字命题的证明

1、每一个命题都是由题设和结论两部分组成的，要求学生从命题的结构特征进行划分，掌握重要的相关联词句。

例：“如果……，那么……。

”“若……，则……”等等。

用“如果”或“若”开始的部分就是题设。

用“那么”或“则”开始的部分就是结论。

有的命题的题设和结论是比较明显的。

例：如果一个三角形有两个角相等(题设)，那么这两个角所对的边相等(结论)。

但有的命题，它的题设和结论不十分明显，对于这样的命题，可要求学生将它改写成“如果……，那么……”的形式。

例如：“对顶角相等”可改写成：“如果两个角是对顶角(题设)，那么这两个角相等(结论)”。

以上对命题的“题设”和“结论”只是一种形式上的记忆，不能从本质上解决学生划分命题的“题设”、“结论”的实质问题，例如：“等腰三角形两腰上的高相等”学生会认为这个命题较难划分题设和结论，认为只有题设部分，没有结论部分，或者因为找不到“如果……，那么……”的词句，或者不会写成“如果……，那么……”等的形式而无法划分命题的题设和结论。

2、正确划分命题的“题设”和“结论”，必须使学生理解每个数学命题都是一个完整无缺的句子，是对数学的一定内容和一定本质属性的判断。

而每一个命题都是由题设和结论两部分组成的，是判断一件事情的语句。

在一个命题中被判断的“对象”是命题的“题设”，也就是“已知”。

判断出来的“结果”就是命题的“结论”，也就是“求证”。

总之，正确划分命题的“题设”和“结论”，就是要分清什么是命题中被判断的“对象”，什么是命题中被判断出来的“结果”。

在教学中，要在不断的训练中加深学生对数学命题的理解。

只有做好这一点才能做好后面的证明过程。

二、培养学生将文字叙述的命题改写成数学式子，并画出图形。

1、按命题题意画出相应的几何图形，并标注字母。

2、根据命题的题意结合相应的几何图形，把命题中每一个确切的数学概念用它的定义，数学符合或数学式子表示出来。

命题中的题设部分即被判断的“对象”写在“已知”一项中，结论部分即判断出来的“结果”写在“求证”一项中。

5.3.2 命题、定理、证明一、教学目标1．了解“证明”的必要性和推理过程中要步步有据．2．了解综合法证明的格式和步骤．3．通过一些简单命题的证明，初步训练学生的逻辑推理能力．4．通过证明步骤中由命题画出图形，写出已知、求证的过程，继续训练学生由几何语句正确画出几何图形的能力．5．通过举例判定一个命题是假命题，使学生学会反面思考问题的方法．二、学法引导1．教师教法：尝试指导，引导发现与讨论相结合．2．学生学法：在教师的指导下，积极思维，主动发现．三、重点·难点及解决办法（－）重点证明的步骤和格式是本节重点．（二）难点理解命题，分清其题设和结论，正确对照命题画出图形，写出已知、求证．（三）解决办法通过学生分组讨论，教师归纳得出证明的步骤和格式，再以练习加以巩固，解决重点、难点及疑点．四、课时安排l课时五、教具学具准备投影仪、三角板、自制胶片．六、师生互动活动设计1．通过引例创设情境，点题，引入新课．2．通过情境教学，学生分组讨论，归纳总结及练习巩固等手段完成新授．3．通过提问的形式完成小结．七、教学步骤（－）明确目标使学生严密推理过程，掌握推理格式，提高推理能力。

（二）整体感知以情境设计，引出课题，引导讨论，例题示范讲解新知，以练习巩固新知．（三）教学过程创设情境，引出课题师：上节课我们学习了定理与证明，了解了这两个概念．并以证明“两直线平行，内错角相等”来说明什么是证明．我们再看这一命题的证明（投影出示）．例1 已知：如图1，，是截线，求证：．证明：∵（已知），∴（两直线平行，同位角相等）．∵（对项角相等），∴（等量代换）．这节课我们分析这一命题的证明过程，学习命题证明的步骤和格式．［板书］2.9 定理与证明探究新知1．命题证明步骤学生活动：由学生分组讨论以上命题的证明过程，按自己的理解说出证明一个命题都需要哪几步．【教法说明】根据上一节“两直线平行，内错角相等”这一命题的证明过程让学生讨论、分析、归纳命题证明的一般步骤，一是可以加深对命题证明的理解，二是培养学生归纳总结能力。

13．2 命题与证明第1课时命题1．了解命题的含义．2．对命题的概念有正确的理解．3．会区分命题的条件和结论．重点找出命题的条件(题设)和结论．难点命题概念的理解．一、创设情境，导入新课教师：我们已经学过一些图形的特性，如“三角形的内角和等于180度”，“等腰三角形两底角相等”等．根据我们已学过的图形特性，试判断下列句子是否正确．1．如果两个角是对顶角，那么这两个角相等；2．两直线平行，同位角相等；3．同旁内角相等，两直线平行；4．直角都相等．二、合作交流，探究新知学生回答后，教师给出答案：根据已有的知识可以判断出句子1、2、4是正确的，句子3是错误的．像这样对某一事件作出正确或不正确判断的语句叫做命题．上面判断性语句1、2、4都是正确的命题，称为真命题，3是错误的命题，称为假命题．教师：在数学中，许多命题是由题设(或已知条件)、结论两部分组成的．题设是已知事项，结论是由已知事项推出的事项，这样的命题常可写成“如果,,那么,,”的形式．用“如果”开始的部分就是题设，而用“那么”开始的部分就是结论．例如，在命题1中，“两个角是对顶角”是题设，“这两个角相等”就是结论．有的命题的题设与结论不十分明显，可以将它写成“如果,,那么,,”的形式，就可以分清它的题设和结论了．例如，命题4可写成“如果两个角是直角，那么这两个角相等．”应用迁移、巩固提高1．教师提出问题1：把命题“三个角都相等的三角形是等边三角形”改写成“如果,,那么,,”的形式，并分别指出命题的题设和结论．学生回答后，教师总结：这个命题可以写成“如果一个三角形的三个角都相等，那么这个三角形是等边三角形”．这个命题的题设是“一个三角形的三个角都相等”，结论是“这个三角形是等边三角形”．2．教师提出问题2：把下列命题写成“如果,,那么,,”的形式，并说出它们的条件和结论．(1)对顶角相等；(2)如果a＞b，b＞c, 那么a>c.学生小组交流后回答，学生回答后，教师给出答案．(1)条件：如果两个角是对顶角；结论：那么这两个角相等．(2)条件：如果a＞b，b＞c；结论：那么a>c.对于两个命题，如果一个命题的条件和结论分别是另一个命题的结论和条件，我们把这样的两个命题称为互逆命题，其中一个叫原命题，另一个命题叫逆命题．说出上题的逆命题，并讨论．三、运用新知，深化理解例1 写出下列命题的题设和结论：(1)如果a2＝b2，那么a＝b；(2)对顶角相等；(3)三角形内角和等于180°.分析：第(1)题中有“如果”“那么”，条件结论明显，第(2)(3)题可先改写成“如果,,那么,,”的形式，再找出题设和结论．解：(1)题设是“a2＝b2”，结论是“a＝b”；(2)改写：如果两个角是对顶角，那么这两个角相等．题设：“两个角是对顶角”，结论：“这两个角相等”；(3)改写：如果三个角是一个三角形的三个内角，那么这三个角的和等于180°.题设：“三个角是一个三角形的三个内角”，结论：“三个角的和等于180°”．【归纳总结】通常情况下命题都可以写成“如果,,那么,,”的形式，当条件结论不是很明显的时候，把所给命题改写成“如果,,那么,,”的形式可以帮助我们找出题设和结论，在改写时，要做到语句通顺，措辞准确．例2 写出下列命题的逆命题，并判断逆命题的真假．(1)如果∠α与∠β是邻补角，那么∠α＋∠β＝180°；(2)如果△ABC是直角三角形，那么△ABC的内角中一定有两个锐角．分析：(1)交换原命题中“如果”和“那么”后面的部分即可得到原命题的逆命题，然后根据邻补角的定义判断命题的真假；(2)交换原命题中“如果”和“那么”后面的部分即可得到原命题的逆命题，然后根据三角形的角的关系判断命题的真假．解：(1)逆命题为：如果∠α＋∠β＝180°，那么∠α与∠β是邻补角，此逆命题为假命题；(2)逆命题为：如果一个三角形中有两个锐角，那么这个三角形是直角三角形，此逆命题为假命题．【归纳总结】将命题的条件与结论互换，得到新命题，我们把这样的两个命题称为互逆命题，其中一个叫原命题，另一个叫做原命题的逆命题．当一个命题是真命题时，它的逆命题不一定是真命题，所举的例子，如果符合命题条件，但不满足命题的结论，称之为反例；要说明一个命题是假命题，只要举出一个反例即可．四、课堂练习，巩固提高1．教材P77练习．2．请同学们完成《探究在线·高效课堂》“随堂演练”内容．五、反思小结，梳理新知命题命题的概念：对某一事件作出正确或者不正确判断的语句（或式子）叫做命题；命题的结构：由题设和结论两部分组成，常写成“如果,,那么,,”的形式；命题的分类：真命题和假命题（要说明一个命题是假命题，只要举出一个反例即可）；逆命题：原命题为“如果p，那么q”，逆命题则为“如果q，那么p”．六、布置作业1．请同学们完成《探究在线·高效课堂》“课时作业”内容．2．教材P84习题13.2第1～3题．第2课时证明(一)1．理解和掌握定理的概念，了解证明(演绎推理)的概念．2．了解证明的基本步骤和书写格式，能运用已学过的几何知识证明一些简单的几何问题．重点证明的含义和表述格式．难点按规定格式表述证明的过程．一、创设情境，导入新课教师借助多媒体设备向学生演示，比较线段AB和线段CD的长度．通过简单的观察，并尝试用数学的方法加以验证，体会验证的必要性和重要性．二、合作交流，探究新知证明的引入(1)命题“等腰直角三角形的斜边是直角边的2倍”是真命题吗？请说明理由．分析：根据需要画出图形，用几何语言描述题中的已知条件和要说明的结论．教师对具体的说理过程予以详细的板书．小结归纳得出证明的含义，让学生体会证明的初步格式．(2)通过教材例3，例4的教学理解证明的含义，体会证明的格式和要求．【归纳总结】证明几何命题的表述格式：①按题意画出图形；②分清命题的条件和结论，结合图形，在“已知”中写出条件，在“求证”中写出结论；③在“证明”中写出推理过程．三、运用新知，深化理解例1 如图，下列推理中正确的有( )①因为∠1＝∠2，所以b∥c(同位角相等，两直线平行)；②因为∠3＝∠4，所以a∥c(内错角相等，两直线平行)；③因为∠4＋∠5＝180°，所以b∥c(同旁内角互补，两直线平行)．A．0个B．1个C．2个D．3个分析：结合图形，根据平行线的判定方法逐一进行判断．①因为∠1、∠２不是同位角，所以不能证明b∥c，故错误；②因为∠3＝∠4，所以a∥c(内错角相等，两直线平行)，正确；③因为∠4＋∠5＝180°，所以b∥c(同旁内角互补，两直线平行)，正确．故正确的是②③，共2个．故选 C.【归纳总结】本题主要考查了平行线的判定．解答此类要判定两直线平行的题，可围绕截线找同位角、内错角和同旁内角．例2 完成下面的证明过程：已知：如图，∠D＝110°，∠EFD＝70°，∠1＝∠2.求证：∠3＝∠B.证明：∵∠D＝110°，∠EFD＝70°(已知)，∴∠D＋∠EFD＝180°，∴AD∥______(同旁内角互补，两直线平行)．又∵∠1＝∠2(已知)，∴______∥BC(内错角相等，两直线平行)，∴EF∥______，∴∠3＝∠B(两直线平行，同位角相等)．分析：求出∠D＋∠EFD＝180°，根据平行线的判定推出AD∥EF，AD∥BC，即可推出答案．∵∠D＝110°，∠EFD＝70°，∴∠D＋∠EFD＝180°，∴AD∥EF.又∵∠1＝∠2，∴AD ∥BC，∴EF∥BC.故答案为：EF，AD，BC.【归纳总结】本题考查了平行线的性质和判定的应用，平行线的性质有：①两直线平行，同位角相等；②两直线平行，内错角相等；③两直线平行，同旁内角互补．反过来就是平行线的判定．四、课堂练习，巩固提高1．教材P78～79练习及P80练习．2．请同学们完成《探究在线·高效课堂》“随堂演练”内容．五、反思小结，梳理新知(1)证明的含义．(2)真命题证明的步骤和格式．(3)思考、探索：假命题的判断如何说理、证明？六、布置作业1．请同学们完成《探究在线·高效课堂》“课时作业”内容．2．教材P84～85习题13.2第5～8题．第3课时证明(二)1.通过对三角形内角和定理的探究，进一步了解证明的基本过程．2.能将几何命题的文字语言用图形语言和符号语言表示出来．重点根据具体的证明过程，填写推理的理由．难点将文字语言表述的证明题改写成用图形语言和符号语言表述的证明题．一、创设情境，导入新课在前面的学习中，我们已经知道三角形的内角和等于180°，你还记得这个结论的探索过程吗？(1.度量法； 2.折叠法； 3.剪拼法．)但观察和实验得到的结论并不一定可靠，这样就需要进行几何证明．二、合作交流，探究新知1.三角形内角和定理的证明(1)理解题意，分清题目的条件和结论；(2)请同学们分别用图形语言和符号语言表述命题．已知：△ABC，求证：∠A＋∠B＋∠C＝180°.证法一：(请学生参照剪贴的方法去证明)证法二：(引导学生仿照证法一添加辅助线转化成平角去证明)除此之外还有哪些证法呢？引导学生积极思考．2．总结证明命题的一般步骤：(1)理解题意：分清命题的条件(已知)，结论(求证)；(2)根据条件画出图形并在图形上标出字母；(3)结合图形和命题写出已知和求证；(4)分析因果关系，探索证明思路；(5)依据思路，运用数学符号和数学语言条理清晰地写出证明过程；(6)检查表述过程是否正确，完善．3．小试牛刀尝试写出下列问题的已知、求证并画图：(1)求证：直角三角形的两个锐角互余．(2)求证：对顶角相等．4．证明：直角三角形的两个锐角互余．(请学生画图口答即可．)推论1：直角三角形两锐角互余．由公理、定理直接得出的真命题叫做推论．推论2：有两个角互余的三角形是直角三角形．三、运用新知，深化理解例1 如图，在△ABC内任意取一点P，过点P画三条直线分别平行于△ABC的三条边．(1)∠1、∠2、∠３分别和△ABC的哪一个角相等？请说明理由；(2)利用(1)说明三角形三个内角的和等于180°.分析：(1)利用平行线的性质即可证得；(2)根据对顶角相等，以及∠HPE＋∠2＋∠3＝180°和(1)的结论即可证得．解：(1)∠1＝∠A，∠2＝∠B，∠3＝∠C.理由如下：∵HI∥AC，∴∠1＝∠CEP，又∵DE∥AB，∴∠CEP＝∠A，∴∠1＝∠A.同理，∠2＝∠B，∠3＝∠C；(2)如图，∵∠HPE＝∠1，∠HPE＋∠2＋∠3＝180°，∴∠1＋∠2＋∠3＝180°，∵∠1＝∠A，∠2＝∠B，∠3＝∠C，∴∠A＋∠B＋∠C＝180°.【归纳总结】本题考查了平行线的性质，正确观察图形，熟练掌握平行线的性质和对顶角相等是解答本题的关键．例2 如图所示，AB∥CD，∠BAC和∠DCA的平分线相交于H点，那么△AHC是直角三角形吗？为什么？分析：要判断△AHC的形状，首先观察它的三个内角，其中∠１与∠２与已知条件角平分线有关，而两条角平分线分别平分∠BAC和∠DCA，这两个角是同旁内角，于是联想到已知条件中的AB∥CD.解：△AHC是直角三角形．理由如下：因为AB∥CD，所以∠BAC＋∠DCA＝180°.又因为AH，CH分别平分∠BAC和∠DCA，所以∠1＝12∠BAC，∠2＝12DCA，所以∠1＋∠2＝12(∠BAC＋∠DCA)，所以∠1＋∠2＝90°，所以△AHC为直角三角形．【归纳总结】判定一个三角形是否为直角三角形，既可以通过这个三角形有一个角是直角来判定(直角三角形的定义)，也可以通过有两个角度数之和为90°来判定．四、课堂练习，巩固提高1．教材P81～82练习．2．请同学们完成《探究在线·高效课堂》“随堂演练”内容．五、反思小结，梳理新知三角形内角和定理的证明及推论1、2三角形内角和定理：三角形的内角和等于180°.证明定理的一般步骤①找出命题的题设和结论，画出图形；②题设部分是已知部分，结论部分是要证明的部分；③利用已知条件，依据定义、基本事实、已证定理，并按照逻辑规则，推导出结论.推论1：直角三角形的两锐角互余.推论2：有两个角互余的三角形是直角三角形.六、布置作业请同学们完成《探究在线·高效课堂》“课时作业”内容．第4课时三角形的外角1．了解三角形的外角．2．知道三角形的一个外角等于与它不相邻的两个内角的和，一个外角大于与它不相邻的任何一个内角．3．学会运用简单的说理来计算三角形的相关的角．重点三角形外角的性质．难点运用三角形外角性质进行有关计算时能准确地推理．一、创设情境，导入新课什么是三角形的内角？它是由什么组成的？三角形的内角和定理的内容是什么？教师提出问题，学生举手回答问题．【教学说明】为本节课进一步学习与三角形有关的角作准备．二、合作交流，探究新知探究问题1：如图，把△ABC的一边BC延长到D，得∠ACD，它不是三角形的内角，那它是三角形的什么角？练习：如图，∠ADB，∠BPC，∠BDC，∠DPC分别是哪个三角形的外角？问题2：观察问题1图，∠ACD与∠ACB是什么关系，由此你能得到什么结论？教师利用投影出示图形，并提出问题．教师指出像这样的角叫做三角形的外角，它是由三角形的一边和另一边的延长线组成的．然后教师利用投影出示练习，安排学生举手回答，并按照外角的定义一一指明这些角分别由哪些边组成．完成以后，教师提出问题2，并让学生进行讨论．然后师生共同归纳总结，得出结论：1．三角形的一个外角等于与它不相邻的两个内角的和．2．三角形的一个外角大于与它不相邻的任何一个内角．归纳总结的过程就是让学生说理证明的过程，教师要让学生说一说，练一练．【教学说明】教师指明外角的定义以后，马上进行练习，便于巩固学生对概念的理解．结合图形，培养学生的图形变换能力．通过学生的归纳，总结，证明，让学生自己去发现结论，让学生体验主动探究的成功与快乐．通过观察、讨论等一系列活动，再让学生进行证明，由于准备进行得比较充分，学生能够较顺利地说出证明的过程．培养学生的推理论证能力．三、运用新知，深化理解教师出示教材例5，先让学生进行分析，教师可以适当加以引导学生，将三角形的外角转化为三角形的内角．然后师生共同写出规范的解答过程．思考：还有没有其他的方法可以证明？【教学说明】先让学生分析，培养学生的分析图形能力，然后师生共同解决，规范学生的解答过程．继续提出新的问题，培养学生的发散思维和创新能力．例1 已知：如图为一五角星，求证：∠A＋∠B＋∠C＋∠D＋∠E＝180°.分析：根据三角形外角性质得出∠EFG＝∠B＋∠D，∠EGF＝∠A＋∠C，根据三角形内角和定理得出∠E＋∠EGF＋∠EFG＝180°，代入即可得证．证明：∵∠EFG，∠EGF分别是△BDF，△ACG的外角，∴∠EFG＝∠B＋∠D，∠EGF＝∠A ＋∠C.又∵在△EFG中，∠E＋∠EGF＋∠EFG＝180°，∴∠A＋∠B＋∠C＋∠D＋∠E＝180°.【归纳总结】解决此类问题的关键是根据图形的特点，利用三角形外角的性质将分散的角集中到某个三角形中，利用三角形内角和进行解决．例2 如图，求证：(1)∠BDC>∠A；(2)∠BDC＝∠B＋∠C＋∠A.如果点D在线段BC的另一侧，结论会怎样？分析：通过学生的探索活动，使学生进一步了解辅助线的作法及重要性，理解掌握三角形的内角和定理及推论．证法一：(1)连接AD，并延长AD，如图，则∠１是△ABD的一个外角，∠2是△ACD的一个外角．∴∠1>∠3.∠2>∠4(三角形的一个外角大于任何一个和它不相邻的内角)．∴∠1＋∠2>∠3＋∠4(不等式的性质)．即：∠BDC>∠BAC.(2)由(1)作图知∠1＝∠3＋∠B，∠2＝∠4＋∠C(三角形的一个外角等于和它不相邻的两个内角的和)．∴∠1＋∠2＝∠3＋∠4＋∠B＋∠C(等式的性质)，即：∠BDC＝∠B＋∠C＋∠BAC.证法二：(1)延长BD交AC于E(或延长CD交AB于E)，如图．则∠BDC是△CDE的一个外角．∴∠BDC>∠DEC(三角形的一个外角大于任何一个和它不相邻的内角)．∵∠DEC是△ABE的一个外角(已作)，∴∠DEC>∠A(三角形的一个外角大于任何一个和它不相邻的内角)，∴∠BDC>∠A(不等式的性质)．(2)由(1)作图知∠BDC＝∠C＋∠DEC(三角形的一个外角等于和它不相邻的两个内角的和)，∵∠DEC是△ABE的一个外角，∴∠DEC＝∠A＋∠B(三角形的一个外角等于和它不相邻的两个内角的和)．∴∠BDC＝∠B＋∠C＋∠A(等量代换)．【教学说明】让学生接触各种类型的几何证明题，提高逻辑推理能力，培养学生的证明思路，特别是不等关系的证明题，因为学生接触较少，因此更需要加强练习．注意事项：学生对于几何图形中的不等关系的证明比较陌生，因此有必要在证明过程中，引导学生作辅助线找到一个过渡角．四、课堂练习，巩固提高1．教材P83练习．2．请同学们完成《探究在线·高效课堂》“随堂演练”内容．五、反思小结，梳理新知教师引导学生谈谈对三角形外角的认识．主要从定义和性质两个方面．六、布置作业1．请同学们完成《探究在线·高效课堂》“课时作业”内容．2．教材P85习题13.2第9题．。

命题的证明教材教法教材分析重点：了解证明的必要性，真命题的证明步骤与格式。

命题的证明步骤与格式是本节的主要内容，是学习数学必具备的能力，在今后的学习中将会有大量的证明问题；另一方面它还体现了数学的逻辑性和严谨性。

难点：推论证明的思路和方法。

因为它体现了学生的抽象思维能力，由于学生对逻辑的理解不深刻，往往找不出最优的思维切入点，证明的盲目性很大，因此对学生证明的思路和方法的训练是教学的难点。

1.四个注意（1）注意：①公理是通过长期实践反复验证过的，不需要再进行推理论证而都承认的真命题；②公理可以作为判定其他命题真假的根据。

（2）注意：定理都是真命题，但真命题不一定都是定理。

一般选择一些最基本最常用的真命题作为定理，可以以它们为根据推证其他命题。

这些被选作定理的真命题，在教科书中是用黑体字排印的。

（3）注意：在几何问题的研究上，必须经过证明，才能作出真实可靠的判断。

如“两直线平行，同位角相等”这个命题，如果只采用测量的方法。

只能测量有限个两平行直线的同位角是相等的。

但采用推理方法证明两平行直线的同位角相等，那么就可以确信任意两平行直线的同位角相等。

（4）注意：证明中的每一步推理都要有根据，不能“想当然”。

①论据必须是真命题，如：定义、公理、已经学过的定理和已知条件；②论据的真实性不能依赖于论证的真实性；③论据应是论题的充足理由。

2.逐步渗透数学证明的思想：（1）加强数学推理(证明)的语言训练使学生做到，能用准确的语言表述学过的概念和命题，即进行语言准确性训练；能学会一些基本的推理论证语言，如“因为……，所以……”句式，“如果……，那么……”句式等等；提高符号语言的识别和表达能力，例如，把要证明的命题结合图形，用已知，求证的形式写出来。

（2）提高学生的“图形”能力，包括利用大纲允许的工具画图(垂线、平行线)的能力和在对要证命题的理解(如分清题设、结论)的基础上，画出要证明的命题的图形的能力，后一点尤其重要，一般通过图形易于弄清命题并找出证明的方法。

命题与证明的知识点总结知识结构梳理1．定义：（1）概念①；（2）分类2．命题②假命题（可通过来说明）（3）形式：命题都可写成的形式。

命题与证明（1）公理：3. 公理与定理（2）定理：（1）概念：4. 证明①理解题意，画出（2）证明命题的一般步骤②写出已知，③写出（3）反证法二、知识点归类知识点定义的概念对于一个概念特征性质的描述叫做这个概念的定义。

如：“两点之间线段的长度，叫做这两点之间的距离”是“两点之间的距离”的定义。

注意：定义必须严密的，一般避免使用含糊不清的语言，例如“一些”、“大概”、“差不多”等不能在定义中出现。

例1 在下列横线上，填写适当的概念：（1）连结三角形两边中点的线段叫作三角形的；（2）能够完全重合的两个图形叫做；（3）两组对边分别平行的四边形叫做；例2叙述概念的定义（1）数轴；（2）等腰三角形知识点命题知识点一命题的概念叙述一件事情的句子（陈述句），要么是真的，要么是假的，那么称这个陈述句是一个命如“你是一个学生”、“我们所使用是教科书是浙教版的”等。

注意：（1）命题必须是一个完整的句子。

（2）这个句子必须对某事情作出肯定或者否定的判断，二者缺一不可。

例下列句子中不是命题的是( )A 明天可能下雨B 台湾是中国不可分割的部分C 直角都相等D 中国是2008年奥运会的举办国知识点二真命题与假命题如果一个命题叙述的事情是真的，那么称它是真命题；如果一个命题叙述的事情是假的，那么称它是假命题注意：真、假命题的区别就在于其是否是正确的，在判断命题的真假时，要注意把握这点。

例下列命题中的真命题是（）A 锐角大于它的余角B 锐角大于它的补角C 钝角大于它的补角D 锐角与钝角等于平角知识点三命题的结构每个命题都有条件和结论两部分组成。

条件是已知的事项，结论是由已知事项推断出的事项。

一般地，命题都可以写出“如果------，那么-------”的形式。

有的命题表面上看不具有“如果------，那么-------”的形式，但可以写成这种形式。

定义、命题、证明（1）教学目标1、知识与技能：了解命题、定义的含义；对命题的概念有准确的理解。

会区分命题的条件和结论。

重点与难点 1、重点：找出命题的条件（题设）和结论。

2、难点：命题概念的理解。

教学过程一、复习引入教师：我们已经学过一些图形的特性，如“三角形的内角和等于180度”，“等腰三角形两底角相等”等。

根据我们已学过的图形特性，试判断下列句子是否准确。

1、如果两个角是对顶角，那么这两个角相等；2、两直线平行，同位角相等；3、同旁内角相等，两直线平行；4、平行四边形的对角线相等；5、直角都相等。

二、探究新知（一）命题、真命题与假命题学生回答后，教师给出答案：根据已有的知识能够判断出句子1、2、5是准确的，句子3、4水错误的。

像这样能够判断出它是准确的还是错误的句子叫做命题。

教师：在数学中，很多命题是由题设（或已知条件）、结论两部分组成的。

题设是已知事项；结论是由已知事项推出的事项，这样的命题常可写成“如果.......，那么.......”的形式。

用“如果”开始的部分就是题设，而用“那么”开始的部分就是结论。

例如，在命题1中，“两个角是对顶角”是题设，“这两个角相等”就是结论。

有的命题的题设与结论不十分明显，能够将它写成“如果.........，那么...........”的形式，就能够分清它的题设和结论了。

例如，命题5可写成“如果两个角是直角，那么这两个角相等。

”（二）实例讲解1、教师提出问题1（例1）：把命题“三个角都相等的三角形是等边三角形”改写成“如果.......，那么.......”的形式，并分别指出命题的题设和结论。

学生回答后，教师总结：这个命题能够写成“如果一个三角形的三个角都相等，那么这个三角形是等边三角形”。

这个命题的题设是“一个三角形的三个角都相等”，结论是“这个三角形是等边三角形”。

2、教师提出问题2：把下列命题写成“如果.....，那么......”的形式，并说出它们的条件和结论。

命题逻辑的推理规则和证明方法命题逻辑是一种对简单命题和命题之间关系的形式化推理系统，广泛应用于数学、计算机科学和哲学等领域。

在命题逻辑中，推理规则和证明方法被用来推导出真实或假设的命题之间的关系。

本文将介绍命题逻辑的一些常见推理规则和证明方法。

1. 推理规则命题逻辑的推理规则是用来推导命题之间关系的规则。

以下是一些常见的推理规则：（1）析取引入规则（Disjunction Introduction Rule）：如果命题P 成立，则P或Q成立。

表示为P -> (P ∨ Q)。

（2）析取消去规则（Disjunction Elimination Rule）：如果P或Q 成立，且根据P和Q均能推导出命题R，则R成立。

表示为((P ∨ Q), (P -> R), (Q -> R)) -> R。

（3）合取引入规则（Conjunction Introduction Rule）：如果P和Q 成立，则P且Q成立。

表示为(P, Q) -> (P ∧ Q)。

（4）合取消去规则（Conjunction Elimination Rule）：如果P且Q 成立，则P和Q均成立。

表示为(P ∧ Q) -> (P, Q)。

（5）蕴含引入规则（Implication Introduction Rule）：如果根据P 能推导出Q，则P蕴含Q成立。

表示为((P -> Q) -> Q) -> (P -> Q)。

（6）蕴含消去规则（Implication Elimination Rule）：如果P和P蕴含Q成立，则Q成立。

表示为((P, (P -> Q)) -> Q)。

2. 证明方法证明是在命题逻辑中用于证明命题之间关系的方法。

以下是一些常见的证明方法：（1）直接证明法：假设前提命题成立，通过适当的推理规则证明出结论命题成立。

这种方法常用于证明蕴含关系。

（2）间接证明法（反证法）：假设结论命题不成立，通过适当的推理规则推导出与已知事实相矛盾的命题，从而得出结论命题成立的结论。