学案2 常用逻辑用语(教育精品).ppt

学案学案2 2 常用逻辑用语常用逻辑用语 名师伴你行名师伴你行名师伴你行填填知学情填填知学情填填知学情填填知学情课内考点突破课内考点突破课内考点突破课内考点突破规规规规 律律律律 探探探探 究究究究考考考考 纲纲纲纲 解解解解 读读读读考考考考 向向向向 预预预预 测测测测返回目录返回目录 名师伴你行考考考考 纲纲纲纲 解解解解 读读读读 常常用用逻逻辑辑用用语语(1)(1)了解命题及其逆命题、否命题与逆否命题的意义了解命题及其逆命题、否命题与逆否命题的意义;会分析四种命题的相互关系会分析四种命题的相互关系.(2)(2)理解必要条件、充分条件与充要条件的意义，会理解必要条件、充分条件与充要条件的意义，会判断必要条件、充分条件与充要条件判断必要条件、充分条件与充要条件.(3)(3)了解逻辑联结词了解逻辑联结词“或或”“”“且且”“”“非非”的含义的含义,能用能用“或或”“”“且且”“”“非非”表示相关的数学内容表示相关的数学内容(对真值表对真值表不作要求不作要求).).(4)(4)了解全称量词与存在量词的意义了解全称量词与存在量词的意义,能用全称量词与能用全称量词与存在量词叙述简单的数学内容存在量词叙述简单的数学内容.(5)(5)了解对含有一个量词的命题的否定的意义了解对含有一个量词的命题的否定的意义,能正确能正确地对含有一个量词的命题进行否定地对含有一个量词的命题进行否定.返回目录返回目录 名师伴你行 对于常用逻辑用语，在高考中，常以选择题、填空对于常用逻辑用语，在高考中，常以选择题、填空题题型出现，主要考查基本概念、基本运算以及数形结题题型出现，主要考查基本概念、基本运算以及数形结合、等价转化、分类讨论、函数与方程等数学思想，有合、等价转化、分类讨论、函数与方程等数学思想，有时也出现在解答题中时也出现在解答题中.考考考考 向向向向 预预预预 测测测测 返回目录返回目录 1.命题的概念在数学中用语言、符号或式子表达的，可以在数学中用语言、符号或式子表达的，可以 的陈述句叫做命题的陈述句叫做命题.其中其中 的语句叫真命题的语句叫真命题,的语句叫假命题的语句叫假命题.2.四种命题及其关系(1)四种命题四种命题判断真假判断真假 判断为真判断为真 判断为假判断为假 名师伴你行返回目录返回目录 命命 题题表述形式表述形式原命题原命题若若p,p,则则q q逆命题逆命题否命题否命题逆否命题逆否命题若若q,则则 p 若若 p,则则 q 若若 q,则则 p 名师伴你行(2)四种命题间的逆否关系四种命题间的逆否关系逆命题逆命题 否命题否命题 逆否命题逆否命题 返回目录返回目录 名师伴你行 (3)四种命题的真假关系四种命题的真假关系 两个命题互为逆否命题两个命题互为逆否命题,它们有它们有 的真假性的真假性;两个命题互为逆命题或互为否命题两个命题互为逆命题或互为否命题,它们的真假它们的真假 性性 .3.命题 pq ,pq,p的真假判断返回目录返回目录 相同相同 没有关系没有关系p pq qpqpqpqpqp p真真真真真真假假假假真真假假假假真真真真真真真真真真真真假假假假假假假假假假假假名师伴你行 4.含有一个量词的命题的否定 5.充分条件与必要条件 (1)如果如果p q,则则p是是q的的 ,q是是p ;(2)如果如果p q,q p,则则p是是q的的 .6.特别注意特别注意:命题的否命题是既否定命题的条件命题的否命题是既否定命题的条件,又否又否 定命题的结论定命题的结论;而命题的否定是只否定命题的结论而命题的否定是只否定命题的结论.返回目录返回目录 命命 题题命题的否定命题的否定xM,P(xxM,P(x)xM,P(xxM,P(x)充要条件充要条件 充分条件充分条件 必要条件必要条件 xM,P(x)xM,P(x)名师伴你行2010年高考课标全国卷年高考课标全国卷已知命题已知命题p1:函数函数y=2x-2-x在在R上上为增函数为增函数,p2:函数函数y=2x+2-x在在R上为减函数上为减函数,则在命题则在命题q1:p1p2,q2:p1p2,q3:(p1)p2和和q4:p1(p2)中中,真命题是真命题是 .返回目录返回目录 考点考点考点考点1 1 判断含有逻辑联结词的命题的真假判断含有逻辑联结词的命题的真假判断含有逻辑联结词的命题的真假判断含有逻辑联结词的命题的真假 名师伴你行返回目录返回目录 【分析分析分析分析】先判断命题先判断命题p1的真假性再判断命题的真假性再判断命题p2的真假的真假性性,再利用再利用“或或”“且且”“非非”命题的形式及其真值表判命题的形式及其真值表判断断.【解析解析解析解析】y=2x在在R上是增函数上是增函数,y=2-x在在R上是减函数上是减函数,y=2x-2-x在在R上是增函数上是增函数,所以所以p1:函数函数y=2x-2-x在在R上为增函数是真命题上为增函数是真命题.p2:函数函数y=2x+2-x在在R上为减函数上为减函数是假命题是假命题,故故q1:p1p2是真命题是真命题,q2:p1p2是假命题是假命题,q3:(p1)p2是假命题是假命题,q4:p1(p2)是真命题是真命题.故真命题是故真命题是q1,q4.名师伴你行 判断含有逻辑联结词判断含有逻辑联结词“或或”“且且”“非非”的命题的的命题的真假：真假：必须弄清构成它的命题的真假；必须弄清构成它的命题的真假；弄清结构形弄清结构形式；式；由真值表判断真假由真值表判断真假.返回目录返回目录 名师伴你行返回目录返回目录 分别指出由下列命题构成的分别指出由下列命题构成的“pq”“pq”“p”形式的命题的真假形式的命题的真假.(1)p:42,3,q:22,3;(2)p:1是奇数是奇数,q:1 是质数是质数;(3)p:0,q:x|x2-3x-50R;(4)p:55,q:27不是质数不是质数.名师伴你行返回目录返回目录(1)p是假命题是假命题,q是真命题是真命题,pq为真命题为真命题,pq为假命题为假命题,p为真命题为真命题.(2)1是奇数，是奇数，p是真命题，是真命题，又又1不是质数，不是质数，q是假命题，是假命题，因此因此pq为真命题，为真命题，pq为假命题为假命题,p为假命题为假命题.(3)0 ,p为假命题为假命题,又又x2-3x-50 x|x2-3x-53”的否定是的否定是 .【分析分析分析分析】在全称命题和特称命题的否定中，应明确全在全称命题和特称命题的否定中，应明确全称量词与存在量词是如何对应转换的，称量词与存在量词是如何对应转换的，全称命题的否定全称命题的否定是特称命题，而特称命题的否定是全称命题是特称命题，而特称命题的否定是全称命题.返回目录返回目录 名师伴你行【解析解析】存在存在xR,|x-2|+|x-4|3.全称命题的否定为特称命题全称命题的否定为特称命题.命题的命题的“否定否定”与一个命题的与一个命题的“否命题否命题”是两个不是两个不同的概念，对命题同的概念，对命题 p 的否定是否定命题所作的判断，的否定是否定命题所作的判断，而而“否命题否命题”是对是对“若若p，则，则q”形式的命题而言，既要形式的命题而言，既要否定条件也要否定结论否定条件也要否定结论.返回目录返回目录 写出下列命题的否定，并判断其真假写出下列命题的否定，并判断其真假.(1)p:xR,(2)q:所有的正方形都是矩形所有的正方形都是矩形;(3)r:xR，x2+2x+20;(4)s:至少有一个实数至少有一个实数x，使，使x3+1=0.名师伴你行返回目录返回目录 【解析解析解析解析】(1)p:xR,x2-x+0.(假）假）这是由于这是由于xR,x2-x+=(x-)20恒成立恒成立.(2)q:至少存在一个正方形不是矩形至少存在一个正方形不是矩形.(假假)(3)r:xR,x2+2x+20.(真真)(4)s:xR,x3+10.（假）（假）名师伴你行返回目录返回目录 考点考点考点考点3 3 四种命题及真假的判断四种命题及真假的判断四种命题及真假的判断四种命题及真假的判断 把下列命题改写成把下列命题改写成“若若p，则，则 q”的形式的形式，并写出它们，并写出它们的的 逆命题、否命题、逆否命题逆命题、否命题、逆否命题.(1)正三角形的三内角相等正三角形的三内角相等;(2)全等三角形的面积相等全等三角形的面积相等;(3)已知已知a,b,c,d是实数是实数,若若a=b,c=d,则则a+c=b+d.【分析分析分析分析】先找出原命题的条件先找出原命题的条件p和结论和结论q,然后根然后根据四种命题之间的关系直接写出据四种命题之间的关系直接写出.名师伴你行返回目录返回目录 【解析解析解析解析】(1)原命题原命题:若一个三角形是正三角形若一个三角形是正三角形,则则 它的三个内角相等它的三个内角相等.逆命题逆命题:若一个三角形的三个内角相等若一个三角形的三个内角相等,则这个三角则这个三角形是正三角形形是正三角形(或写成或写成 :三个内角相等的三角形是正三个内角相等的三角形是正三角形三角形).否命题否命题:若一个三角形不是正三角形若一个三角形不是正三角形,则它的三个则它的三个内角不全相等内角不全相等.逆否命题逆否命题:若一个三角形的三个内角不全相等若一个三角形的三个内角不全相等,那那么这个三角形不是正三角形么这个三角形不是正三角形(或写成或写成 :三个内角不全三个内角不全相等的三角形不是正三角形相等的三角形不是正三角形).名师伴你行返回目录返回目录 (2)原命题原命题:若两个三角形全等若两个三角形全等,则它们的面积相则它们的面积相等等.逆命题逆命题:若两个三角形面积相等若两个三角形面积相等,则这两个三角形全则这两个三角形全等等(或写成或写成:面积相等的三角形全等面积相等的三角形全等).否命题否命题:若两个三角形不全等若两个三角形不全等,则这两个三角形面积则这两个三角形面积不相等不相等(或写成或写成:不全等的三角形面积不相等不全等的三角形面积不相等).逆否命题逆否命题:若两个三角形面积不相等若两个三角形面积不相等,则这两个三则这两个三角形不全等角形不全等.名师伴你行返回目录返回目录 (3)原命题原命题:已知已知a,b,c,d是实数是实数,若若a=b,c=d,则则a+c=b+d.其中其中“已知已知a,b,c,d是实数是实数”是大前提，是大前提，“a与与b,c与与d都相等都相等”是条件是条件p,“a+c=b+d”是结论是结论q,所以所以 逆命题：已知逆命题：已知a,b,c,d是实数，若是实数，若a+c=b+d，则则a 与与b,c与与d都相等都相等.否命题否命题:已知已知a,b,c,d是实数是实数,若若a与与b,c与与d不都相等不都相等,则则a+cb+d.逆否命题逆否命题:已知已知a,b,c,d是实数是实数,若若a+cb+d,则则a与与b,c与与d不都相等不都相等.名师伴你行 已知原命题已知原命题,写出它的其他三种命题写出它的其他三种命题,首先把原命题首先把原命题改写成改写成“若若p,则则q”的形式的形式,然后找出其条件然后找出其条件p和结论和结论q,再根据四种命题的定义写出其他命题再根据四种命题的定义写出其他命题.逆命题逆命题:“若若q，则，则p”；否命题：；否命题：“若若 p,则则 q”;逆否命题：逆否命题：“若若 q，则，则 p”，对写出的命题，对写出的命题也可简洁表述；对于含有大前提的命题，在改写命题也可简洁表述；对于含有大前提的命题，在改写命题形式时，大前提不要动形式时，大前提不要动.返回目录返回目录 名师伴你行返回目录返回目录 把下列命题写成把下列命题写成“若若p,则则q”的形式，并写出它们的逆的形式，并写出它们的逆命题、否命题与逆否命题命题、否命题与逆否命题,并判断其真假并判断其真假.（1）当）当x=2时，时，x2-3x+2=0;（2）对顶角相等）对顶角相等.名师伴你行返回目录返回目录【解析解析解析解析】（1）原命题）原命题:若若x=2，则，则x2-3x+2=0.为真命题为真命题.逆命题逆命题:若若x2-3x+2=0,则则x=2.为假命题为假命题.否命题否命题:若若x2,则则x2-3x+20.为假命题为假命题.逆否命题逆否命题:若若x2-3x+20,则则x2.为真命题为真命题.（2）原命题）原命题:若两个角是对顶角若两个角是对顶角,则它们相等则它们相等.为真命题为真命题.逆命题逆命题:若两个角相等若两个角相等,则它们是对顶角则它们是对顶角.为假命题为假命题.否命题否命题:若两个角不是对顶角若两个角不是对顶角,则它们不相等则它们不相等.为假命题为假命题.逆否命题逆否命题:若两个角不相等若两个角不相等,则它们不是对顶角则它们不是对顶角.为真命题为真命题.名师伴你行考点考点考点考点4 4 充要条件的判断充要条件的判断充要条件的判断充要条件的判断 (1)2010年高考山东卷设年高考山东卷设an是等比数列，则是等比数列，则“a1a2a3”是是“数列数列an是递增数列是递增数列”的的 条件条件(2)2010年高考广东卷年高考广东卷“m14”是是“一元二次方程一元二次方程x2+x+m=0有实数解有实数解”的的 条件条件返回目录返回目录 名师伴你行 【分析分析分析分析】(1)首先分清条件和结论首先分清条件和结论.(2)再看条件能再看条件能否推出结论否推出结论,结论能否推出条件结论能否推出条件.返回目录返回目录 名师伴你行【解析解析解析解析】（1）设数列）设数列an的公比为的公比为q.若已知若已知a1a2a3，即有，即有a1a1q1 0q0 a10,q1时时,有有a1qn-1a1qn,即即anan+1,所以数列所以数列an是递增数列；当是递增数列；当a10,0q1时，有时，有a1qn-1a1qn，即，即anan+1，所以数列，所以数列an是递增数列是递增数列.综上所述，若综上所述，若a1a2a3,则数列则数列an是递增数列是递增数列.反反之之,若数列若数列an是递增数列是递增数列,则则a1a2a3.所以所以“a1a2a3”是是“数列数列an是递增数列是递增数列”的充分必要条件的充分必要条件.或或 解得解得 返回目录返回目录 (1)判断判断p 是是q 的什么条件的什么条件,关键是看关键是看p能否推出能否推出q,q能否推出能否推出p.(2)若若“p q”是否成立，不能判断或不好处理是否成立，不能判断或不好处理，则可看它的逆否命题是否成立则可看它的逆否命题是否成立.(3)否定一个结论时否定一个结论时,只需举一个反例即可只需举一个反例即可.名师伴你行 (2)若一元二次方程若一元二次方程x2+x+m=0有实数解有实数解,则则=1-4m0,因此因此m .故故m0 m0，若方程若方程4x2+4(m-2)x+1=0无实根，无实根，则则=16(m-2)2-16=16(m2-4m+3)0,解得解得1m3，即，即q:1m2 m2 m1或或m3 1m3,即即m3 或或12，即，即p:m2.或或 所以所以 返回目录返回目录 名师伴你行 （1）由简单命题和逻辑联结词构成的复合命题的真）由简单命题和逻辑联结词构成的复合命题的真假可以用真值表来判断，反之根据复合命题的真假也可假可以用真值表来判断，反之根据复合命题的真假也可以判断简单命题的真假以判断简单命题的真假.假若假若p且且q真，则真，则p 真，真，q也真也真;若若p或或q真，则真，则p,q至少有一个真；若至少有一个真；若p且且q假，则假，则p,q至少至少有一个假有一个假.（2）可把）可把“p或或q”为真命题转化为并集的运算为真命题转化为并集的运算;把把“p且且q”为真命题转化为交集的运算为真命题转化为交集的运算.返回目录返回目录 名师伴你行【解析解析】由由 ,得得 0,即即 0,得得0m 3,p:mR,0m3.由关于由关于x的不等式的不等式x2-4x+m20的解集是空集得的解集是空集得=16-4m22或或m2或或m-2,设设p:;q:关于关于x的不等式的不等式x2-4x+m20 的解集的解集是空集，若是空集，若“pq”为真命题，为真命题，“pq”为假命题，为假命题，求求m的取值范围的取值范围.返回目录返回目录 名师伴你行pq为真为真,pq为假为假,p,q有且只有一个为真有且只有一个为真.若若p真真q假假,则则0m3且且-2m2,0m2.若若p假假q真真,则则m0或或m3,同时同时m2,m-2或或m3.m的取值范围是的取值范围是(-,-2)0,23,+).返回目录返回目录 名师伴你行返回目录返回目录 1.1.命题的否定与否命题是完全不同的概念命题的否定与否命题是完全不同的概念命题的否定与否命题是完全不同的概念命题的否定与否命题是完全不同的概念 (1)(1)任何命题均有否定任何命题均有否定任何命题均有否定任何命题均有否定 ，无论是真命题还是假命题，无论是真命题还是假命题，无论是真命题还是假命题，无论是真命题还是假命题 ；而否命题仅针对命题；而否命题仅针对命题；而否命题仅针对命题；而否命题仅针对命题“若若若若p p，则，则，则，则q”q”提出来的提出来的提出来的提出来的.(2)(2)命题的否定是原命题的矛盾命题，两者的真假性命题的否定是原命题的矛盾命题，两者的真假性命题的否定是原命题的矛盾命题，两者的真假性命题的否定是原命题的矛盾命题，两者的真假性必然是一真一假必然是一真一假必然是一真一假必然是一真一假 ；而否命题与原命题可能是同真同；而否命题与原命题可能是同真同；而否命题与原命题可能是同真同；而否命题与原命题可能是同真同 假，假，假，假，也可能是一真一假也可能是一真一假也可能是一真一假也可能是一真一假.2.2.一个命题的原命题与其逆否命题同真假一个命题的原命题与其逆否命题同真假一个命题的原命题与其逆否命题同真假一个命题的原命题与其逆否命题同真假;原命题的原命题的原命题的原命题的逆命题与否命题互为逆否关系，也同真假逆命题与否命题互为逆否关系，也同真假逆命题与否命题互为逆否关系，也同真假逆命题与否命题互为逆否关系，也同真假.有时一个命题有时一个命题有时一个命题有时一个命题的真假不易被判断时，的真假不易被判断时，的真假不易被判断时，的真假不易被判断时，可以通过判断它的逆否命题的真可以通过判断它的逆否命题的真可以通过判断它的逆否命题的真可以通过判断它的逆否命题的真假，从而得知原命题的真假假，从而得知原命题的真假假，从而得知原命题的真假假，从而得知原命题的真假.名师伴你行 3.“p3.“pq”q”为真，当且仅当为真，当且仅当为真，当且仅当为真，当且仅当p p和和和和q q中至少一个为真（一中至少一个为真（一中至少一个为真（一中至少一个为真（一真为真）；真为真）；真为真）；真为真）；“p pq q”为假，当且仅当为假，当且仅当为假，当且仅当为假，当且仅当p p和和和和q q中至少一个为中至少一个为中至少一个为中至少一个为假（一假为假）；假（一假为假）；假（一假为假）；假（一假为假）；p p与与与与 p p真假相反真假相反真假相反真假相反.4.A 4.A是是是是B B的充分不必要条件是指：的充分不必要条件是指：的充分不必要条件是指：的充分不必要条件是指：A AB B 且且且且 B /AB /A；5.A5.A的充分不必要条件是的充分不必要条件是的充分不必要条件是的充分不必要条件是B B，是指：，是指：，是指：，是指：B BA A且且且且 A /B.A /B.这两种说法是在充分必要条件推理判断中经常出现且容这两种说法是在充分必要条件推理判断中经常出现且容这两种说法是在充分必要条件推理判断中经常出现且容这两种说法是在充分必要条件推理判断中经常出现且容易混淆的说法易混淆的说法易混淆的说法易混淆的说法 ，在解题中一定要根据问题的设问方式，在解题中一定要根据问题的设问方式，在解题中一定要根据问题的设问方式，在解题中一定要根据问题的设问方式 ，弄清它们的区别，以免出现判断错误，弄清它们的区别，以免出现判断错误，弄清它们的区别，以免出现判断错误，弄清它们的区别，以免出现判断错误.返回目录返回目录 名师伴你行名师伴你行