选修2_1常用逻辑符号第06课时_量词.docVIP

选修2-1常用逻辑符号第06课时-量词教学目的：掌握全称量词与存在量词的的意义；掌握含有量词的命题：全称命题和特称命题真假的判断.教学过程：一、复习1.充分必要条件及其判定方法设x、yR，求证：|x+y|=|x|+|y|成立的充要条件是xy≥0.分析：充分性是证：xy≥0|x+y|=|x|+|y|; 必要性是证：|x+y|=|x|+|y| xy≥0证明：(1)充分性:因为xy≥0，所以有xy=0或xy0.若xy=0,不妨设x=0,则|x+y|=|y|=|x|+|y|;结论成立;若xy0.则x0,y0或x0,y0.当x0,y0时,|x+y|=x+y=|x|+|y|,结论成立;当x0,y0时,|x+y|= ?(x+y)=(?x)+(?y)=|x|+|y|,结论也成立;总之:当xy≥0时,有|x+y|=|x|+|y|成立.(2)必要性:由|x+y|=|x|+|y|且x、y?R得(x+y)2=(|x|+|y|)2 即x2+2xy+y2=x2+2|xy|+y2,所以有|xy|=xy≥0.综上可知命题正确.评:此类问题的证明要特别注意充分性与必要性分别是由什么推出什么.如果某一侧面的证明过程步步可逆,那么亦可用等价符号“?”,一次性完成证明过程.2. 逻辑联结词(1) “或”、“且”、“非”称为逻辑联结词.(2)命题“p或q”，记作“p?q”，?读作“析取”；命题“p且q”， 记作“p?q”，?读作“合取”；命题“非p”，记作“?p”， ?读作“非”或“并非”.(3)理解逻辑联结词“且”“或”“非”与集合运算“交”“并”“补”的关系；理解逻辑联结词“且”“或”与电路的关系.(4) “p或q”、“p且q”的否定分别是什么？(5) 命题的否定与命题的否命题有什么区别？(6)真值表： p q ?pP?qP?q 真 真假 真 真 真 假假 真 假 假 真真 真 假 假 假真 假 假两个命题真值性相同的意思——同真或同假二、全称量词与存在量词1.全称量词(universal quantifier)——表示全体的量词.其形式为：“所有x…”、“任意x，…”、“每一个x，…”等.通常用符号“?x”表示，读作“对任意x”.如：“?x?R，x2≥0”.含有全称量词的命题，叫做全称命题.例1. 判断下列全称命题的真假：(1)所有的素数都是奇数；(2) ?x?R，x2+1≥1；(3)对每一个无理数x，x2也是无理数；(4) ?x?(5,8)，f(x)=x2?4x?20；(5) ?x?(3,+?)，f(x)=x2?4x?20.小结：判断一个全称命题为真的方法：必须对给定的集合中的每一个元素x，p(x)都真.判断一个全称命题为假的方法：只要在给定的集合中，找到一个元素x0，使命题p(x0)为假.2.存在量词(existential quantifier)——表示部分的量词.其形式为：“有x…”、“存在x，…”等.通常用符号“?x”表示，读作“存在x”.如：“?x?Q，x2?2=0”.含有存在量词的命题，叫做特称命题.例2.判断下列命题的真假：(1)有一个实数x0，使x02+2x0+3=0；(2)存在两个相交平面垂直于同一条直线；(3)有些整数只有两个正因数；(4) ?a?Z，a2=3a?2；(5) ?a≥3，a2=3a?2.小结：判断一个特称命题为真的方法：只要在给定的集合中，找到一个元素x，使命题p(x)为真；否则命题为假.3.全称命题与特称命题含有全称量词的命题称为全称命题(universal proposition)一般形式表示为：?x?M，p(x).其中，M为给定的集合，p(x)是一个关于x的命题.含有存在量词的命题称为特称命题(existential proposition)一般形式表示为：?x?M，p(x).判断一个全称命题为真的方法：必须对给定的集合中的每一个元素x，p(x)都真.判断一个全称命题为假的方法：只要在给定的集合中，找到一个元素x0，使命题p(x0)为假.判断一个特称命题为真的方法：只要在给定的集合中，找到一个元素x，使命题p(x)为真；否则命题为假.4.量词的否定例3：判断下列命题是全称命题还是特称命题，并判断其真假；同时写出其否定：(1) ?x?R，x2x； (2) ?x?R，x2x；(3) ?x?Q，x2?8=0； (4) ?x?R，x2+10.小结：1.写命题的否定形式:先要找出命题中的全称量词或存在量词!2.一般地，量词的否定为：“?x?M，p(x)”的否定为“?x?M，?p(x)”，“?x?M，p(x)”的否定为“?x?M，?p(x)”.全称命题的否定变成特称命题.特称命题的否定变成全称命题.例4：分别写出下列命题的否定形式，并判断其真假：(1) 对