2019-2020学年苏教版选修1-1第1章 1.3 1.3.2 含有一个量词的命题的否定学案
2019-2020学年苏教版选修1-1第1章  1.3  1.3.2  含有一个量词的命题的否定学案第3页

  解:(1)∀x∈M,p(x),否定:存在一个矩形不是平行四边形.

  (2)∀x∈M,p(x),否定:存在一个素数不是奇数.

  (3)∀x∈M,p(x),否定:∃x∈R,x2-2x+1<0.

  2.写出下列命题的否定:

  (1)三个给定产品都是次品;

  (2)数列1,2,3,4,5中的每一项都是偶数;

  (3)∀a,b∈R,方程ax=b都有惟一解;

  (4)可以被5整除的整数,末位是0.

  解:(1)三个给定产品中至少有一个是正品;

  (2)数列1,2,3,4,5中至少有一项不是偶数;

  (3)∃a,b∈R,使方程ax=b的解不惟一或无解;

  (4)存在被5整除的整数,末位不是0.

存在性命题的否定   [例2] 写出下列存在性命题的否定,并判断其否定的真假:

  (1)有些实数的绝对值是正数;

  (2)某些平行四边形是菱形;

  (3)∃x0,y0∈Z,使得x0+y0=3.

  [思路点拨] 它们的否定是全称命题,解题时既要改变量词,也要否定结论,最后判断其真假.

  [精解详析] (1)命题的否定是:"所有实数的绝对值都不是正数".

  由于|-2|=2>0,因此命题的否定为假命题.

  (2)命题的否定是:"每一个平行四边形都不是菱形".由于菱形是平行四边形,因此命题的否定是假命题.

  (3)命题的否定是:"∀x,y∈Z,x+y≠3".

  因为当x=0,y=3时,x+y=3,因此命题的否定是假命题.

  [一点通] 

  1.存在性命题的否定是全称命题,要否定存在性命题"∃x∈M,p(x)成立",需要验证对M中的每一个x,均有p(x)不成立,也就是说"∀x∈M,綈p(x)成立".

  2.要证明存在性命题是真命题,只需要找到使p(x)成立的条件即可.

  3.只有"存在"一词是量词时,它的否定才是"任意",当"存在"一词不是量词时,它的否定是"不存在".例如:三角形存在外接圆.这个命题是全称命题,量词"所有的"被省略了,所以,这个命题的否定是:有些三角形不存在外接圆.