定义、命题与证明知识讲解：逻辑推理与几何证明方法.pdfVIP

定义、命题与证明知识讲解

责编：

【学习目标】

1.了解定义、命题、定理的含义，会区分命题的题设（条件）和结论，会在简单情况下判

断一个命题的真假；

2.能用基本的逻辑术语、几何证明的步骤、格式和规范进行几何证明；

3.了解证明的含义，理解证明的必要性，体会证明的过程要步步有据．

【要点梳理】

要点一、定义、命题、基本与定理

1.定义

一般地，能清楚的规定某一名称或术语的意义的句子叫做该名称或术语的定义.

2.命题

一般地，判断某一件事情的句子叫命题．正确题叫做真命题；不正确题叫做假

命题．

命题通常由条件、结论两个部分组成，条件是已知事项，结论是由已知事项得到的事项.通常

命题可以写成“如果……那么……”的形式，其中以“如果“开始的部分是条件，”那么

“后面的部分是结论.

要点诠释：

命题属于判断句或陈述句，是对一件事情作出判断，与判断的正确与否没有关系．当证

明一个命题是假命题时只要举出一个反例就可以．

3.基本

人们经过长期实践后公认为正确题，作为判断其题的依据，也可称为公理.

4.定理

用推理的方法判断为正确题.定理也可以作为判断其题真依据.

要点诠释：

满足以下两个条件的真命题称为定理：

（1）其正确性可通过公理或其它真命题逻辑推理而得到.

（2）其又可作为判断其它命题真依据.

要点二、证明

1.证明

从命题的条件出发，根据已知的定义、基本、定理（包括推论），一步一步推得结

论成立，这样的推理过程叫做证明．

2.证明表述格式

证明几何命题时，表述格式一般如下：

（1）按题意画出图形；

（2）分清命题的条件和结论，结合图形，在“已知”中写出条件，在“求证”中写出结

论；

（3）在“证明”中写出推理过程.

要点诠释：

在解决几何问题时，有时需要添加辅助线，添辅助线的过程要写入证明中，辅助线通常

要画出虚线.

【典型例题】

类型一、命题

Exnationofdefinitions,propositions

andproofknowledge

Editor:DuS

haobo

【LearningObjectives】

1.Understandthemeaningofdefinitions,propositions,andtheorems,beabletodistinguishtheproposition

(conditions)andconclusionsofpropositions,andbeabletojudgethetrueorfalseofapropositioninsimple

situations;2.Beabletousebasiclogicalterms,steps,formatsandspecificationsofgeometricproofstoperform

geometricproofs;3.Understandthemeaningofproof,understandthenecessityofproof,andunderstandthatthe

processofproofmustbewell-foundedstepbystep.

【Key