内容正文:
1.5.2全称量词命题与存在量词命题的否定
学习目标
1.能正确地对含有一个量词的命题进行否定;
2. 理解全称量词命题与存在量词命题之间的关系。
新知导入:什么是命题的否定?
问题1 一般地,对一个命题进行否定,就可以得到一个新的命题,这一新的命题称为原命题的否定。记作¬p,读作“非p”或“命题p的否定”。
请尝试写出下列命题的否定,并判断它们的真假.
(1)56是7的倍数;
(2)空集是集合A={1,2,3}的真子集;
56不是7的倍数;
空集不是集合A={1,2,3}的真子集;
命题的否定的真假与原命题 .
相反
导学提示
阅读29页[探究],写出它们命题的否定。
思考:全称量词命题的否定是什么?
思——写出下列全称量词命题的否定。它们与原命题在形式上有什么变化?
(1)所有的矩形都是平行四边形;
(2)每一个素数都是奇数;
(3),
否定:存在一个矩形不是平行四边形
否定:存在一个素数不是奇数
否定:,.
并非所有的矩形都是平行四边形
全称量词命题的否定
对于含有一个量词的全称量词命题的否定,有下面的结论:
也就是说,全称量词命题的否定是存在量词命题.
全称量词命题 全称量词命题的否定
∀x∈M,p(x)
∃x∈M,¬p(x)
追问 问题1
所有的、任意 存在、有一个
例题练习,巩固理解
例1 写出下列全称量词命题的否定:
(1) 所有能被3整除的整数都是奇数;
(2) 每一个四边形的四个顶点在同一个圆上;
(3) 对任意x∈Z,x2的个位数字不等于3.
(4) ∀n∈Z,n∈Q;
(5) ∀x∈Z,4x-1是奇数;
;
议——类比学习存在量词命题的否定
问题2 阅读教材30页,回答以下问题。
(1)写出[探究]中,三个命题的否定。
(2)存在量词命题的否定是一个什么命题?你能写出它的一般形式吗?
8
议——写出下列存在量词命题的否定。它们与原命题在形式上有什么变化?
(1)有些实数的绝对值是正数;
(2)某些平行四边形是菱形;
(3),
¬ p:所有实数,它的绝对值都不是正数
¬ p:所有平行四边形都不是菱形
¬ p:,.
有些、某些、存在 所有的、任意
存在量词命题的否定
对于含有一个量词的存在量词命题的否定,有下面的结论:
存在量词命题 存在量词命题的否定
∃x∈M,p(x)
∀x∈M,¬p(x)
有些、某些、存在 所有的、任意
也就是说,存在量词命题的否定是全称量词命题.
例题练习,巩固理解
例2 写出下列存在量词命题的否定:
(1) ∃x∈R,x+2≤0;
(2) 有的三角形是等边三角形;
(3) 有一个偶数是素数.
(4) 有些三角形是直角三角形;
(5) 有些梯形是等腰梯形;
(6)x∈R,|x|-1≥1;
展1
1. 命题“∀x∈R,|x|+x2≥0”的否定是( )
A.∀x∈R,|x|+x2<0 B.∀x∈R,|x|+x2≤0
C.∃x∈R,|x|+x2<0 D.∃x∈R,|x|+x2≥0
C
2. 命题“∃x>0,2x2=5x-1”的否定是( )
A.∀x>0,2x2 ≠5x-1 B.∀x≤0,2x2=5x-1
C.∃x>0,2x2 ≠5x-1 D.∃x≤0,2x2=5x-1
A
展2——写出下列命题的否定,并判断真假
(1)任意两个等边三角形都相似;
(2)∃x∈R,x2-x+1=0.
否定:存在两个等边三角形,它们不相似
假命题
否定:∀x∈R,x2-x+1≠0
真命题
评
p:a和b都是偶数
评小结
全称量词与全称量词命题的否定:
全称量词命题
否定
存在量词命题
否定
记忆:前改量词,后否结论。
注意:范围不变。
常见词语的否定形式
原词语 否定词语 原词语 否定词语
是 至少有一个
都是 至多有一个
大于 至少有n个
小于 至多有n个
任意 能
所有的 等于
总结起来八个字“前改量词,后否结论”
不是
不都是
不大于
不小于
某些
某个
一个也没有
至少有两个
至多有(n-1)个
至少有(n+1)个
不能
不等于
检
完成导学案上的习题
课堂练习
2.命题“x≥0,2x=3”的否定是( )
A. x<0,2x≠3 B. x≥0,2x≠3
C. x≥0,2x≠3 D. x<0,2x≠3
1.命题“xR,都有x2-x+1>0”的否定是( )
A. xR,都有x2-x+1≤0 B. xR,都有x2-x+1>0
C. xR,都有x2-x+1≤0 D. 以上均不正确
C
3.“存在x∈R,x2+2x+a=0”为假命题,求实数a的取值范围。
4.命题“存在x>a,使得2x+a<3”是假命题,求实数a的取值范围.
$