欢迎来到天天文库
浏览记录
ID:51338097
大小:242.50 KB
页数:16页
时间:2020-03-22
《命题及其关系3.ppt》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、命题及其关系1.1.3四种命题的相互关系目标:(1)会分析四种命题的相互关系;(2)初步了解反证法的证明步骤。回顾交换原命题的条件和结论,所得的命题是________同时否定原命题的条件和结论,所得的命题是________交换原命题的条件和结论,并且同时否定,所得的命题是__________逆命题。否命题。逆否命题。原命题,逆命题,否命题,逆否命题四种命题形式:原命题:逆命题:否命题:逆否命题:若p,则q若q,则p若┐p,则┐q若┐q,则┐p原命题若p则q逆命题若q则p否命题若则逆否命题若则互逆互逆互否互否互为逆否互
2、为逆否四种命题之间的相互关系逆命题:角的平分线上的点,到这个角的两边距离相等.否命题:到一个角的两边距离不相等的点,都不在这个角的平分线上.逆否命题:不在这个角的平分线上的点,到这个角的两边距离不相等.(1)到一个角的两边距离相等的点,都在这个角的平分线上.原命题(真)逆命题(真)否命题(真)逆否命题(真).逆命题:两个三角形的面积相等,则它们全等.否命题:两个三角形不全等,则它们的面积不相等.逆否命题:两个三角形的面积不相等,则它们不全等.(2)两个三角形全等,则它们的面积相等.原命题(真)逆命题(假)否命题(假)
3、逆否命题(真)逆命题:对顶角相等.否命题:不相等的角不是对顶角.逆否命题:不是对顶角就不相等.(3)相等的角是对顶角原命题(假)逆命题(真)否命题(真)逆否命题(假)逆命题:凡奇数都是质数.否命题:不是质数就不是奇数.逆否命题:不是奇数就不是质数.(4)凡质数都是奇数.原命题(假)逆命题(假)否命题(假)逆否命题(假)四种命题的真值表:原命题逆命题否命题逆否命题真真真真真假假真假真真假假假假假小结:1、两个命题互为逆否命题,它们有相同的真假性;2、两个命题为互逆命题或互否命题,它们的真假性没有关系。例证明:若p2+q
4、2=2,则p+q≤2.分析:将“若p2+q2=2,则p+q≤2”看成原命题。由于原命题和它的逆否命题具有相同的真假性,要证原命题为真命题,可以证明它的逆否命题为真命题。反证法:要证明某一结论A是正确的,但不直接证明,而是先去证明A的反面(非A)是错误的,从而断定A是正确的。即反证法就是通过否定命题的结论而导出矛盾来达到肯定命题的结论,完成命题的论证的一种数学证明方法。反证法的步骤:假设命题的结论不成立,即假设结论的反面成立。从这个假设出发,通过推理论证,得出矛盾。由矛盾判定假设不正确,从而肯定命题的结论正确。练习:p
5、9可能出现矛盾四种情况:与题设矛盾;与反设矛盾;与公理、定理矛盾;在证明过程中,推出自相矛盾的结论。练用反证法证明:圆的两条不是直径的相交弦不能互相平分。已知:如图,在⊙O中,弦AB、CD交于P,且AB、CD不是直径.求证:弦AB、CD不被P平分.反证法的步骤:(1)假设命题的结论不成立,即假设结论的反面成立(2)从这个假设出发,通过推理论证,得出矛盾(3)由矛盾判定假设不正确,从而肯定命题的结论正确若a2能被2整除,a是整数,求证:a也能被2整除.证:假设a不能被2整除,则a必为奇数,故可令a=2m+1(m为整数
6、),由此得a2=(2m+1)2=4m2+4m+1=4m(m+1)+1,此结果表明a2是奇数,这与题中的已知条件(a2能被2整除)相矛盾,∴a能被2整除.作业:P101、A32、A4(用反证法)
此文档下载收益归作者所有