内容正文:
2.常用逻辑用语
1.充分条件与必要条件
命题真假
“若p,则q”是真
命题
“若p,则q”是
假命题
推出关系 p q p q
条件关系
p 是q 的
条件
q是p的
条件
p 不 是 q 的
条件
q 不 是 p 的
条件
2.充要条件
一般地,如果既有 ,又有 ,
就记作 .此时,我们说p 是q 的充
分必要条件,简称充要条件.显然,如果p是
q的充要条件,那么q也是p 的充要条件,
即如果 ,那么 p 与q 互为充要
条件.
概括地说,
(1)如果 ,那么p与q互为充要条件.
(2)若 ,但 ,则称p是q的充
分不必要条件.
(3)若 ,但 ,则称p是q的必
要不充分条件.
(4)若 ,且 ,则称p是q的既
不充分也不必要条件.
3.全称量词与全称量词命题
(1)短语“所有的”“任意一个”在逻辑中通常叫
做全称量词,并用符号“∀”表示.
(2)在给定集合中,断言所有元素都具有同一
种性质的命题,叫做全称量词命题.
(3)全称量词命题的表述形式:对 M 中任意一
个x,有p(x)成立,可简记为: ,
读作“对任意x属于M,有p(x)成立”.
4.存在量词与存在量词命题
(1)短语“存在一个”“至少有一个”在逻辑中通
常叫做存在量词,并用符号“∃”表示.
(2)在给定集合中,断言某些元素具有一种性
质的命题,叫做存在量词命题.
(3)存在量词命题的表述形式:存在 M 中的一
个x0,使p(x0)成立,可简记为: ,读
作“存在M 中的元素x0,使p(x0)成立”.
5.全称量词命题与存在量词命题区别
命题类型 全称量词命题 存在量词命题
形式 ∀x∈M,p(x) ∃x∈M,p(x)
否定
结论
全称量词命题的
否定是存在量词
命题
存在量词命题
的否定是全称
量词命题
◆[考点一] 必要条件与充分条件
1.(2021天津卷,2)已知a∈ R,则“a>6”是
“a2>36”的 ( )
A.充分不必要条件
B.必要不充分条件
C.充要条件
D.既不充分也不必要条件
2.(2022浙江卷,4)设x∈R,则“sinx=1”是
“cosx=0”的 ( )
A.充分不必要条件
B.必要不充分条件
C.充分必要条件
D.既不充分也不必要条件
3
3.(多选)有以下四种说法,其中正确说法为
( )
A.“m 是实数”是“m 是有理数”的必要不充
分条件
B.“a>b>0”是“a2>b2”的充要条件
C.“x=3”是“x2-2x-3=0”的充分不必要
条件
D.“A∩B=B”是“A=⌀”的必要不充分
条件
4.设集合A={x|x≤1},B={x|x≥a},则“A
∪B=R”是“a=1”的 条件,a
=2是“A∩B=⌀”的 条件(从
如下四个中选一个正确的填写:充要条件、充
分不必要条件、必要不充分条件、既不充分也
不必要条件)
◆[考点二] 全称量词与存在量词
5.下列全称量词命题中真命题的个数是 ( )
①末位是0或5的整数,可以被5整除;
②钝角都相等;③三棱锥的底面是三角形.
A.0 B.1 C.2 D.3
6.命题“所有实数的平方都是正数”的否定是
( )
A.所有实数的平方都不是正数
B.有的实数的平方是正数
C.至少有一个实数的平方是正数
D.至少有一个实数的平方不是正数
7.(多选)下列命题的否定是假命题的是 ( )
A.三角形角平分线上的点到角两边的距离
相等
B.所有平行四边形都不是菱形
C.任意两个等边三角形都是相似的
D.3是方程x2-9=0的一个根
8.已知命题p:任意x∈R,函数y=x2+ax+
a2>0.若命题p是假命题,则实数a的取值
集合是 .
◆[考点三] 常用逻辑的综合应用
9.(2021北京卷,3)已知 f(x)是定义在
[0,1]上的函数,那么“函数f(x)在[0,1]上
单调递增”是“函数f(x)在[0,1]上的最大
值为f(1)