2.3 公理与定理.pptVIP

公 理 与 定 理 * * * 本课内容 本节内容 2.3 在本章2.2节的例题、练习和习题2.2的A组题中，判断下列命题为真命题是根据什么呢？ 说一说 是分别根据实数、整数、有理数、正方形的定义作出的判断． （1）如果a是有理数，那么a是实数； （2）如果m是自然数，那么m是整数； （3）如果a是整数，那么a是有理数； （4）如果四边形ABCD是正方形，那么它是矩形． 结论 从上面的例子看到，在判断一个命题是否为真命题时常常要利用一些概念的定义，但是光用定义只能判断一些很简单的命题是否为真. 对于绝大多数命题的真假的判断，光用定义是远远不够的，那么除了根据定义外，还能根据什么来推理，去判断命题的真假呢？ （1）如果a是有理数，那么a是实数； （2）如果m是自然数，那么m是整数； （3）如果a是整数，那么a是有理数； （4）如果四边形ABCD是正方形，那么它是矩形． 古希腊数学家欧几里得(Euclid，约公元前330—前275)对他那个时代的数学知识作了系统化的总结，他挑选出一些人们在长期实践中总结出来的公认的真命题，作为证明的原始依据，称这些真命题为公理. 小知识 欧几里得 小知识 欧几里得以基本定义和公理作为推理的出发点，去判断其他命题的真假，已经判断为真的命题称为定理，它也可以作为判断其他命题的真假的依据. 小知识