学案2常用逻辑用语.ppt

学案2 常用逻辑用语,考点一,考点二,考点三,考点四,考点五,考点六,返回目录,1.命题 可以 的语句叫作命题. 2.全称量词与全称命题 (1)全称量词:短语“ ”在陈述中表示所述事物的 ，在逻辑中通常叫作全称量词. (2)全称命题:含有 的命题. (3)全称命题的符号表示 形如“对M中所有x,p(x)”的命题，可用符号简记为“ ”.,判断真假、用文字或符号表述,所有,每一个,任何一个,任意一个,xM,p(x),全称量词,一切,返回目录,3.存在量词与特称命题 (1)存在量词:短语“ ”“ ”“ ”在陈述中表示所述事物的 或 ，逻辑中通常叫作 . (2)特称命题: 的命题. (3)特称命题的符号表示 形如“存在集合M中的元素x,q(x)”的命题，用符号简记为 . 4.基本逻辑联结词 常用的基本逻辑联结词有“ ”“ ”“ ”.,有些,至少有一个 有一个存在,个别 一部分,存在量词,含有存在量词 ,xM,q(x),且 或 非,返回目录,5.命题 pq , pq ,p的真假判断,真,真,真,真,真,真,假,假,假,假,假,假,6.含有一个量词的命题的否定 7.充分条件与必要条件 (1)如果p q,则p是q的 ,q是p ; (2)如果p q,q p,则p是q的 .记作 . 8.四种命题的关系,充要条件,充分条件,必要条件,返回目录,pq,返回目录,（1）四种命题,(2) 四种命题间的逆否关系,逆命题,否命题,逆否命题,返回目录,9.四种形式命题的关系 (1)互为逆否的两个命题是 的,即 . (2)互逆或互否的两个命题是的 .,等价 同真同假,不等价,返回目录,考点一 判断含有逻辑联结词的命题的真假,分别写出由下列各组命题构成的“pq”“pq”“ p”形式的命题的真假. (1) p:3是9的约数，q:3是18的约数; (2) p:菱形的对角线相等，q :菱形的对角线互相垂直; (3) p:方程x2+x-1=0的两实根符号相同, q : 方程x2+x- 1=0的两实根绝对值相等; (4) p:是有理数,q:是无理数.,返回目录,【分析】由含逻辑联结词 “或” “且” “非” 的命 题的形式及其真值表直接判断.,【解析】 (1) p是真命题,q是真命题, pq是真命题,pq是真命题, p是假命题. (2) p是假命题,q是真命题, pq是真命题,pq是假命题, p是真命题. (3) p是假命题,q是假命题, pq是假命题,pq是假命题, p是真命题. (4) p是假命题,q是真命题, pq是真命题,pq是假命题, p是真命题.,判断含有逻辑联结词“或”“且”“非”的命题的真假：必须弄清构成它的命题的真假；弄清结构形式；由真值表判断真假.,返回目录,返回目录,分别指出由下列命题构成的“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-50 = 成立.q为真命题. pq为真命题, pq为假命题, p为真命题.,返回目录,(4)显然p:55为真命题,q: 27不是质数为真命题, pq为真命题,pq为真命题, p为假命题.,返回目录,考点二 判断命题的“否定”的真假,写出下列命题的否定，并判断其真假. p:xR, 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.（假）,命题的“否定”与一个命题的“否命题”是两个不同的概念，对命题 p 的否定是否定命题所作的判断， 而“否命题”是对“若p，则q”形式的命题而言，既要否定条件也要否定结论.,返回目录,对应演练,写出下列命题的否定，并判定真假. (1) 所有的矩形都是平行四边形; (2) 有些实数的绝对值是正数.,(1) 至少存在一个矩形不是平行四边形(假). (2) 所有实数的绝对值都是正数(假).,返回目录,返回目录,考点三 四种命题及真假的判断,把下列命题改写成“若p ，则 q”的形式 ，并写出它们 的 逆命题、否命题、逆否命题. (1)正三角形的三内角相等; (2)全等三角形的面积相等; (3)已知a,b,c,d是实数,若a=b,c=d,则a+c=b+d.,【分析】 先找出原命题的条件p和结论q , 然后根 据四种命题之间的关系直接写出.,返回目录,返回目录,(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）原命题:若两个角是对顶角,则它们相等.为真命题. 逆命题:若两个角相等,则它们是对顶角.为假命题. 否命题:若两个角不是对顶角,则它们不相等.为假命题. 逆否命题:若两个角不相等,则它们不是对顶角.为真命题.,考点四 充要条件的判断,给出下列命题： p:x-2=0;q:(x-2)(x-3)=0; p:两个三角形相似；q:两个三角形全等; p:m-2;q:方程x2-x-m=0无实根; p:一个四边形是矩形;q:四边形的对角线相等. 试分别指出p是q的什么条件.,【分析】 (1)首先分清条件和结论.(2)再看条件 能否推出结论,结论能否推出条件.,返回目录,返回目录,【解析】x-2=0(x-2)(x-3)=0， 而(x-2)(x-3)=0/ x-2=0, p是q的充分不必要条件. 两个三角形相似/ 两个三角形全等, 但两个三角形全等 两个三角形相似, p是q的必要不充分条件. m-2方程x2-x-m=0无实根, 方程x2-x-m=0无实根/ m-2, p是q的充分不必要条件. 矩形的对角线相等,p q, 而对角线相等的四边形不一定是矩形, q / p,p是q的充分不必要条件.,返回目录,(1)判断p 是q 的什么条件 , 关键是看p能否推出q,q能否推出p. (2)若“p q” 是否成立，不能判断或不好处理 ，则可看它的逆否命题是否成立. (3)否定一个结论时,只需举一个反例即可.,返回目录,对应演练,指出下列命题中,p是q的什么条件(在“充分不必要条件” “必要不充分条件”“充要条件”“既不充分也不必要条件”中选出一种作答）. (1)在ABC中, p:A=B,q:sinA=sinB; (2)对于实数x,y, p:x+y8,q:x2或y6; (3)非空集合A,B中, p:xAB,q:xB; (4)已知x,yR, p:(x-1)2+(y-2)2=0,q:(x-1)(y-2)=0.,(2)易知, p:x+y=8, q:x=2且y=6,显然 q p, 但 p / q,即 q是 p的充分不必要条件,根据原命题和逆否命题的等价性知,p是q的充分不必要条件. (3)显然xAB不一定有xB,但xB一定有xAB,所以p是q的必要不充分条件. (4)条件p:x=1且y=2,条件q:x=1或y=2, 所以p q但q / p,故p是q的充分不必要条件.,返回目录,(1)在ABC中,A=B sinA=sinB,反之,若sinA= sinB,因为A与B不可能互补(因为三角形三个内角和为180),所以只有A=B.故p是q的充要条件.,考点五 充要条件的证明,已知ab0,求证:a+b=1的充要条件是a3+b3+ab-a2-b2=0.,【分析】 此类问题需证明两个命题,即充分性与必要 性,故应分清谁是条件,谁是结论,然后再分别证明.,【证明】 (必要性) a+b=1,a+b-1=0,a3+b3+ab-a2-b2 =(a+b)(a2-ab+b2)-(a2-ab+b2)=(a+b-1)(a2-ab+b2)=0.,返回目录,(充分性) a3+b3+ab-a2-b2=0, 即(a+b-1)(a2-ab+b2)=0, 又ab0,a0且b0, a2-ab+b2=(a- )2+ 0, a+b-1=0,即a+b=1. 综上可知,当ab0时,a+b=1的充要条件是a3+b3+ab- a2 -b2=0.,返回目录,有关充要条件的证明问题,要分清哪个是条件,哪个是结论,由“条件” “结论”是证明命题的充分性，由“结论”“条件”是证明命题的必要性. 证明要分两个环节:一是充分性;二是必要性.,返回目录,对应演练,证明一元二次方程ax2 + bx +c=0有一正根和一负根的充 要条件是ac0.,证明:充分性:若ac0,且ca0,x1x2=ca0,ac0. 综上所述,一元二次方程ax2+bx+c=0有一正根和一负根的充要条件是ac0.,返回目录,考点六 利用复合命题的真假求参数的值或范围,已知p:方程x2+mx+1=0有两个不等的负根；q : 方程4x2+4(m-2)x+1=0无实根 .若 p或q为真，p 且 q为假， 求m的取值范围.,【分析】（1）“pq”为假，包括“p真q假”“p假q真” “p假q假”； （2）“pq”为假，则“p假q假”； （3）“ p”为假，则“p真”.,返回目录,【解析】若方程x2+mx+1=0有两个不等的负根，则 =m2- 40 m0， 若方程4x2+4(m-2)x+1=0无实根， 则=16(m-2)2-16=16(m2-4m+3)2 m2 m1或m3 1m3,即m3 或1m2.,解得m2，即p:m2.,或,所以,返回目录,（1）由简单命题和逻辑联结词构成的复合命题的真假可以用真值表来判断，反之根据复合命题的真假也可以判断简单命题的真假.假若p且q真，则p 真，q也真;若p或q真，则p,q至少有一个真；若p且q假，则p,q至少有一个假. （2）可把“p或q”为真命题转化为并集的运算;把“p且q”为真命题转化为交集的运算.,返回目录,由 ,得 0,即 0,得0m2或m2或m-2,对应演练,设p: ;q:关于x的不等式x2-4x+m20 的解集是空集，若“pq”为真命题，“pq”为假命题，求m的取值范围.,返回目录,pq为真,pq为假, p,q有且只有一个为真. 若p真q假,则0m2, m-2或m3. m的取值范围是(-,-2)0,23,+).,返回目录,返回目录,1.命题的否定与否命题是完全不同的概念 (1) 任何命题均有否定 ，无论是真命题还是假命题 ；而否命题仅针对命题“若p，则q”提出来的. (2)命题的否定是原命题的矛盾命题，两者的真假性必然是一真一假 ；而否命题与原命题可能是同真同 假，也可能是一真一假. 2.一个命题的原命题与其逆否命题同真假;