资源描述
单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,第一章 常用逻辑用语,1.1.3,四种命题间的相互关系,第一章 常用逻辑用语1.1.3 四种命题间的相互关系,复习引入,从构成来看,所有的命题都具有条件和结论两部分构成,记做,:,通常,我们把这种形式的命题中的,p,叫做命题的,条件,q,叫做命题的,结论,。,“若,p,则,q”,形式的命题是命题的一种形式而不是唯一的形式,也可写成“如果,p,那么,q”“,只要,p,就有,q”,等形式。,其中,p,和,q,可以是命题也可以不是命题,.,命题的定义:一般地,我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题 定义的要点:能判断真假的陈述句,用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。,判断为真的语句叫做真命题。判断为假的语句叫做假命题。,理解:,1,)命题定义的核心是判断,切记:判断的标准必须确定,判断的结果可真可假,但真假必居其一。,2,)含有变量且在未给定变量的值之前无法确定语句的真假。,复习引入从构成来看,所有的命题都具有条件和结论两部分构成记做,下列四个命题中,命题,(1),与命题,(2)(3)(4),的条件和结论之间分别有什么关系?,(1),若,f(x),是正弦函数,则,f(x),是周期函数;,(2),若,f(x),是周期函数,则,f(x),是正弦函数;,(3),若,f(x),不是正弦函数,则,f(x),不是周期函数;,(4),若,f(x),不是周期函数,则,f(x),不是正弦函数。,下列四个命题中,命题(1)与命题(2)(3)(4)的条件和结,观察命题,(1),与命题,(2),的条件和结论之间分别有什么关系?,(1),若,f(x),是正弦函数,则,f(x),是周期函数;,(2),若,f(x),是周期函数,则,f(x),是正弦函数;,互逆命题,:一个命题的条件和结论分别是另一个命题的结论和条件,这两个命题叫做互逆命题。,原 命 题,:其中一个命题叫做原命题。,逆 命 题,:另一个命题叫做原命题的逆命题。,p,q,q,p,即 原命题,:,若,p,则,q,逆命题,:,若,q,则,p,例如,命题“同位角相等,两直线平行”的逆命题是“两直线平行,同位角相等”。,原命题与其逆命题的真假是否存在相关性呢,?,观察命题(1)与命题(2)的条件和结论之间分别有什么关系?(,探究,1,:如果原命题是真命题,那么它的逆命题一定是真命题吗?,例,1.,等边三角形的三个内角相等,.,例,2.,若,f,(,x,),是正弦函数,则,f,(,x,),是周期函数,.,逆命题,:,三个内角相等的三角形是等边三角形,.,逆命题,:,若,f,(,x,),是周期函数,则,f,(,x,),是正弦函数,.,(,真命题,),(,真命题,),(,假命题,),(,真命题,),原命题是真命题,它的逆命题不一定是真命题,.,探究1:如果原命题是真命题,那么它的逆命题一定是真命题吗?,观察命题,(1),与命题,(3),的条件和结论之间分别有什么关系?,(1),若,f(x),是正弦函数,则,f(x),是周期函数;,(3),若,f(x),不是正弦函数,则,f(x),不是周期函数,.,p,q,p,原命题,:,若,p,则,q,q,为书写简便,常把条件,p,的否定和结论,q,的否定分别记作,“,p,”,“,q,”,,,读作,“,非,p,”“,非,q,”,。,否命题,:,若,p,则,q,互否命题:,如果第一个命题的条件和结论是第二个命题的条件和结论的否定,那么这两个命题叫做,互否命题,。如果把其中一个命题叫做,原命题,,那么另一个叫做,原命题的否命题,。,例如,命题“同位角相等,两直线平行”的否命题是“同位角不相等,两直线不平行”。,原命题与其否命题的真假是否存在相关性呢,?,观察命题(1)与命题(3)的条件和结论之间分别有什么关系?(,探究,2,:如果原命题是真命题,那么它的否命题一定是真命题吗?,否命题,:,同位角不相等,两直线不平行,.,例,1.,原命题,:,同位角相等,两直线平行,.,例,2.,原命题,:,若,f,(,x,),是正弦函数,则,f,(,x,),是周期函数,否命题,:,若,f,(,x,),不是正弦函数,则,f,(,x,),不 是周期函数,(,真命题,),(,真命题,),(,真命题,),(,假命题,),原命题是真命题,它的否命题不一定是真命题,.,探究2:如果原命题是真命题,那么它的否命题一定是真命题吗?,观察命题,(1),与命题,(4),的条件和结论之间分别有什么关系?,(1),若,f(x),是正弦函数,则,f(x),是周期函数;,(4),若,f(x),不是周期函数,则,f(x),不是正弦函数,.,p,q,q,原命题,:,若,p,则,q,p,逆否命题,:,若,q,则,p,互为逆否命题:,如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定,那么这两个命题叫做,互为逆否命题,。,例如,命题“同位角相等,两直线平行”的逆否命题是“两直线不平行,同位角不相等”。,原命题与其逆否命题的真假是否存在相关性呢,?,观察命题(1)与命题(4)的条件和结论之间分别有什么关系?(,探究,3,:如果原命题是真命题,那么它的逆否命题一定是真命题吗?,例,1.,原命题,:,同位角相等,两直线平行,.,逆否命题,:,两条直线不平行,同位角不相等,.,例,2.,原命题,:,若,a b,则,ac,2,bc,2,。,若逆否命题,:,若,ac,2,bc,2,则,ab,。,(,真命题,),(,真命题,),(,假命题,),(,假命题,),原命题是真命题,它的逆否命题一定是真命题,.,原命题是假命题,它的逆否命题一定是假命题。,探究3:如果原命题是真命题,那么它的逆否命题一定是真命题吗?,、,互否命题:,如果第一个命题的条件和结论是第二个命题的条件和结论的否定,那么这两个命题叫做,互否命题,。如果把其中一个命题叫做,原命题,,那么另一个叫做,原命题的否命题,。,、,互为逆否命题:,如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定,那么这两个命题叫做,互为逆否命题,。,、,互逆命题:,如果第一个命题的条件(或题设)是第二个命题的结论,且第一个命题的结论是第二个命题的条件,那么这两个命题叫,互逆命题,。如果把其中一个命题叫做,原命题,,那么另一个叫做原命题的,逆命题,。,三个概念,、互否命题:如果第一个命题的条件和结论是第二个命题的条件和,原命题,逆命题,否命题,逆否命题,四种命题形式,:,原命题,:,逆命题,:,否命题,:,逆否命题,:,若,p,则,q,若,q,则,p,若,p,则,q,若,q,则,p,1,:,要写出一个命题的另外三个命题关键是,分清命题的题设和结论(即把原命题写成“若,p,则,q”,的形式),2,:,(,1,)“或”的否定为“且”,(,2,)“且”的否定为“或”,(,3,)“都”的否定为“不都”。,注意:,三种命题中最难写 的是否命题,。,原命题,逆命题,否命题,逆否命题四种命题形式:若 p,四种命题之间的关系,原命题,若,p,则,q,逆命题,若,q,则,p,否命题,若,p,则,q,逆否命题,若,q,则,p,互为逆否,同,真,同,假,互为逆否,同,真,同,假,互逆命题 真假,无关,互逆命题 真假,无关,互否命题真假,无关,互否命题真假,无关,四种命题之间的关系原命题逆命题否命题逆否命题互为逆否,例,:,分别写出以命题的逆命题、否命题和逆否命题:若,x,=1,或,x,=2,,则,x,2,3,x,+2=0,。,逆否命题:,若,x,2,x,,,则,x,且,x,。,逆命题:,若,x,2,x,,则,x,或,x,。,否命题:,若,x,且,x,,,则,x,x,。,逆否命题:逆命题:否命题:,例 设原命题是“当,c,0,时,若,a,b,,则,ac,bc,”,,写出它的逆命题、否命题、逆否命题,并分别判断它们的真假:,解:,逆命题:当,c,0,时,若,ac,bc,,则,a,b,逆命题为真,否命题:当,c,0,时,若,a,b,,则,ac,bc,否命题为真,逆否命题:当,c,0,时,若,ac,bc,,则,a,b,逆否命题为真,例 设原命题是“当c 0 时,若a b,则ac b,小结:在判断四种命题的真假时,只需判断两种命题的真假。因为逆命题与否命题真假等价,逆否命题与原命题真假等价。,事例,:,主人邀请张三、李四、王五三个人吃饭聊天,时间到了,只有张三和李四两人准时赶到,王五打来电话说:“临时有急事,不能来了。”主人听了随口说了句:“你看看,该来的没有来。”张三听了,脸色一沉,起来一声不吭地走了;主人愣了片刻,又道:“哎,不该走,的又走了。”李四听了大怒,拂袖而去。请你用逻辑学原理解释这两人离去的原因。,解:张三走的原因是:“该来的没有来”,逆否命题是,-“,来了的是不该来的!”从而导致张三认为自己是不该来的。,李四走的原因是“不该走的又走了”,其逆否命题是“没有走的是应该走的”,从而使李四觉得主人在赶自己走。,小结:在判断四种命题的真假时,只需判断两种命题的真假。因为逆,否命题与命题的否定,否命题是用否定条件也否定结论的方式构成新命题。,命题的否定是逻辑联结词,“,非,”,作用于判断,只否定结论不否定条件。,对于原命题,:,若,p,则,q,,,否命题,:,若,p,则,q,,,命题的否定,:,若,p,,,则,q,。,例,.,命题:,ABC,中,若,C,90,,则,A,、,B,都是锐角,.,命题的否命题是(),命题的否定是(),(A)ABC,中,若,C90,,则,A,、,B,都不是锐角,(B)ABC,中,若,C90,,则,A,、,B,不都是锐角,(C)ABC,中,若,C90,,则,A,、,B,都不一定是锐角,(D)ABC,中,若,C,90,,则,A,、,B,不都是锐角,否命题与命题的否定否命题是用否定条件也否定结论的方式构成新命,原词语,否定词,原词语,否定词,等于,任意的,是,至少有一个,都是,至多有一个,大于,至少有,n,个,小于,至多有,n,个,对所有,x,成立,对任何,x,,,不成立,所有的,准确地作出反设,(,即否定结论,),是非常重要的,下面是一些常见的结论的否定形式,.,不是,不都是,不大于,大于或等于,一个也没有,至少有两个,至多有(,n-1),个,至少有(,n+1),个,存在某,x,,,不成立,存在某,x,,,成立,不等于,某个,某些,原词语 否定词 原词语 否定词 等于任意的是 至少有一个 都,练习,1:,写出下列命题的逆命题、否命题、逆否命题。,(1),原命题:,若 则,答,:,逆命题:,若 则,否命题:,若 则,逆否命题:,若 则,(2),原命题:若一个数是负数,则它的平方是,0,;,逆命题:,若一个数的平方是,0,,则它是负数;,否命题:,若一个数不是负数,则它的平方不是,0,;,逆否命题:,若一个数的平方不是,0,,则它不是负数,.,试判断上面命题的真假,.,真命题,假命题,假命题,真命题,假,假,假,假,练习1:写出下列命题的逆命题、否命题、逆否命题。(2)原命题,练习,2:,把下列命题改写成,“,若,p,则,q”,的形式,并写出它们的逆命题、否命题与逆否命题,.,解,:,原命题,:,若一个函数是奇函数,则它的图象关于原点中心对称,;,逆命题:,若一个函数的图象关于原点中心对称,则它是奇函数,;,否命题:,若一个函数不是奇函数,则它的图象不关于原点中心对称,;,逆否命题,:,若一个函数的图象不关于原点中心对称,则它不是奇函数,.,(3),奇函数的图象关于原点中心对称,.,试判断上面命题的真假,.,真命题,真命题,真命题,真命题,练习2:把下列命题改写成“若p则q”的形式,
展开阅读全文