基本信息

---

下载

文档摘要

---

第十九章几何证实

19．１命题和证实

我们现在学习的证实方式是演绎证实，简称证实

能界定某个对象含义的句子叫做定义

判断一件事情的句子叫做命题;其判断为对的的命题叫做真命题;其判断为错误的命题叫做假命题

数学命题通常由题设、结论两部分构成

命题可以写成“假如……那么……”的形式,假如后是题设，那么后市结论

19.2证实举例

平行的鉴定,全等三角形的鉴定

19.３逆命题和逆定理

在两个命题中,假如第一个命题的题设是第二个命题的结论，二第一个命题的结论又是第二个命题的题设，那么这两个命题叫做互逆命题,假如把其中一个命题叫做原命题，那么另一个命题叫做它的逆命题

假如一个定理的逆命题经过证实也