逻辑的习题课市名师优质课比赛一等奖市公开课获奖课件.pptx

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,惯用逻辑用语习题课（1）,第1页,知识点回顾,四种命题,充分条件与必要条件,简单逻辑联结词,全称量词与存在量词,第2页,逆命题若q则p,原命题若p则q,否命题若 p则 q,逆否命题若 q则 p,互逆,互否,互 否,互 否,互为 逆否,第3页,充分条件与必要条件判断,定义法,集合判断法,等价命题法,推导传递性,第4页,P是q充分条件：,P是q必要条件：,P是q充分无须要条件：,P是q必要不充分条件：,P是q充要条件：,P是q既不充分又无须要条件：,第5页,当p、q分别用集合A、B表示时,1.A是B真子集，则p是q充分而无须要条件,2.B是A真子集，则p是q必要而不充分条件,3.A=B,则p是q充要条件,4.若A不包含于B，且B不包含于A，则p是q既不充分也无须要条件,第6页,p或q,p且q,非p,第7页,“,全部，任意，每一个,”等表示全体量词在逻辑中称为,全称量词,“,有一个，有些，存在一个,”等表示部分量词在逻辑中称为,存在量词。,含有全称量词命题称为,全称命题,含有存在量词命题称为,存在性命题,第8页,例1.命题“一元二次方程ax,2,+bx+c=0有两个不相等实数根”,其中条件p是,结论是,P:方程是一元二次方程ax,2,+bx+c=0,q:方程有两个不相等实数根,P:一元二次方程ax,2,+bx+c=0,第9页,例2:命题“若,ABC不是等腰三角形,则它任意两个内角不相等”逆否命题是（）,A.,若ABC是等腰三角形,则它任意两个内角相等,B.,若ABC任意两个内角不相等,则它不是等腰三角形,C.,若ABC有两个内角相等,则它是等腰三角形,D.,若ABC任意两个内角相等,则它是等腰三角形,C,变:命题为“不等腰三角形任意两个内角不相等”呢?,第10页,例3：设有两个命题,p:不等式,|x|+|x-1|m解集为R；,q:函数f(x)=-(7-3m),x,是减函数；,若这两个命题有且只有一个真命题，求实数 m取值范围。,变：“p或q”，“p且q”有且只有一个真命题呢？,第11页,练习：,（1）命题”若x=3,则x,2,-9x+18=0”逆命题、否命题、逆否命题中真命题个数是（）,A.0个 B.1个 C.2个 D.3个,(2)命题“若ac,2,bc,2,则ab”与它逆命题、否命题、逆否命题中真命题个数是（）,A.0个 B.1个 C.2个 D.3个,B,C,第12页,例4:用反证法证实“若p,2,+q,2,=2,则p+q,2”,分析:反设,归谬下结论,变式训练:,用反证法证实“若p,3,+q,3,=2,则p+q2”,第13页,例5:填空或判断真假,(1)b=0是函数f(x)=ax,2,+bx+c是偶函数,(2)log,3,x,2,=2是log,3,x=1成立,(3)甲是乙必要条件,丙是乙充分无须要条件,则丙是甲,充要条件,(定义法),必要而不充分条件,(集正当),充分而无须要条件,(集正当),第14页,(4)p:x3或y4;q:x+y7;则p是q,(5)p,q都是r必要条件,s是r充分条件,非s是非q充分条件,那么p是q,(6)有限集合A,B,A是B子集必要条件是card(A)card(B),充分而无须要条件,(等价命题法),必要而不充分条件,(集正当/等价命题法/传递法),错:关于充要条件两种问法要小心区分!,第15页,例6:填空,(1)函数f(x)=x,2,-2ax-3在区间,1,2,上存在反函数充要条件是,(2)函数f(x)=x|x+a|+b是奇函数,充要条件是,(3)写出x3一个充分无须要条件,(4)写出x3一个必要不充分条件,a,1或a2,a=b=0,X2,X4,第16页,(5)一次函数y=kx+m图象经过第1,3,4象限一个充分无须要条件是（）,A.m0 B.m1,C.mk0 D.m0,k0,(6)一次函数y=kx+m图象经过第1,3,4象限一个必要不充分条件是（）,A.m0 B.m1,C.mk0 D.m0,k0,B,C,第17页,