新版秋沪科版数学八上132命题与证明第2课教学.pptVIP

命题的种类 真命题（判断正确的命题） 假命题（判断错误的命题） 定义的概念： 能界定某个对象含义的句子叫做定义. 举例 （1）能够被2整除的数叫做偶数； （2）由不在同一条直线上的三条线段首尾顺次联结所组成的图形叫做三角形； （3）有一个角是直角的三角形叫做直角三角形. 命题的种类 真命题（判断正确的命题） 假命题（判断错误的命题） * 13.2 命题与证明 第二课时（证明） 定义： 公理： 定理：经过证明 …… 古希腊数学家欧几里得(Euclid，约公元前330—前275)对他那个时代的数学知识作了系统化的总结，他挑选出一些人们在长期实践中总结出来的公认的真命题，作为证明的原始依据，称这些真命题为公理. 小知识 欧几里得 欧几里得以基本定义和公理作为推理的出发点，去判断其他命题的真假，已经判断为真的命题称为定理，它也可以作为判断其他命题的真假的依据. 欧几里得按照这种方法(现在称为公理化方法)编写了一本书，书名叫《原本》.全书共分13卷，包括有5条公理，5条公设，119个定义和465条命题，构成了历史上第一个数学公理体系． （注：欧几里得把公设和公理加以区分，即公理是适用于一切科学的真理，而公设只适用于几何.近代数学对此不再区分，都称为公理.) 《原本》. 把哪些真命题作为公理应当遵循下列