命题与证明(二)本课内容本节内容2
2议一议下列命题中,哪些正确,哪些错误
并说一说你的理由
(1)每一个月都有31天;(2)如果a是有理数,那么a是整数
(3)同位角相等;(4)同角的补角相等
错误错误错误正确上面四个命题中,命题(4)是正确的,命题(1),(2),(3)都是错误的
我们把正确的命题称为真命题,把错误的命题称为假命题
(1)每一个月都有31天;(2)如果a是有理数,那么a是整数
(3)同位角相等;(4)同角的补角相等
要判断一个命题是真命题,常常要从命题的条件出发,通过讲道理(推理),得出其结论成立,从而判断这个命题为真命题,这个过程叫证明
例如,命题“同角的补角相等”通过推理可以判断出它是真命题
由于∠1+2=180°∠,∠1+3=180°∠,所以∠2=180°-1∠,∠3=180°-1
∠因此∠2=3∠(等量代换)
于是,我们得出:同角(或等角)的补角相等
要判断一个命题是假命题,只需举出一个例子(反例),它符合命题的条件,但不满足命题的结论,从而就可判断这个命题为假命题
例如,要判断命题“如果a是有理数,那么a是整数”是一个假命题,我们举出“0
1是有理数,但是0
1不是整数”这一例子即可判断该命题是假命题
我们通常把这种方法称为“举反例”
判断下列命题为真命题的依据是什么
说一说(1)如果a是整数,那么a是有理数;(2)如果△ABC是等边三角形,那么△ABC是等腰三角形
分别是根据有理数、等腰(等边)三角形的定义作出的判断
分别是根据有理数、等腰(等边)三角形的定义作出的判断
从上可以看到,在判断一个命题是否为真命题时常常要利用一些概念的定义,但是光用定义只能判断一些很简单的命题是否为真
事实上,对于绝大多数命题的真假的判断,光用定义是远远不够的
古希腊数学家欧几里得(Euclid,约公元前330—前275年)对他那个时代的数学知识作了系统的总结,