内容正文:
专题02 常用逻辑用语
一、课标要求
二、知识清单
考点1
1、充分条件与必要条件
“若p,则q”为真命题
“若p,则q”为假命题
推出关系
p⇒q
p⇏q
条件关系
p是q的充分条件
q是p的必要条件
p不是q的充分条件
q不是p的必要条件
定理关系
判定定理给出了相应数学结论成立的充分条件
性质定理给出了相应数学结论成立的必要条件
2、充要条件
(1)充要条件的定义
如果“若,则”和它的逆命题“若,则”均为真命题,即既有,又有,就记作。
此时,既是的充分条件,也是的必要条件,我们说是的充分必要条件,简称充要条件。
(2)充要条件的含义
若是的充要条件,则也是的充要条件,虽然本质上是一样的,但在说法上还是不同的,
因为这两个命题的条件与结论不同。
(3)充要条件的等价说法:是的充要条件又常说成是成立当且仅当成立,或与等价。
考点2
1、全称量词与全称量词命题
(1)全称量词:短语“所有的”“任意一个”在逻辑中通常叫作全称量词,并用符号“”表示.
【注】(1)全称量词的数量可能是有限的,也可能是无限的,由有题目而定;
(2)常见的全称量词还有“一切”、“任给”等,相应的词语是“都”
(2)全称量词命题:含有全称量词的命题,称为全称量词命题.
符号表示:通常,将含有变量的语句用,,,…表示,变量的取值范围用表示,那么,全称量词命题“对中任意一个,成立”可用符号简记为
【注】(1)从集合的观点看,全称量词命题是陈述某集合中所有元素都具有某种性质的命题;
(2)一个全称量词命题可以包含多个变量;
(3)有些全称量词命题中的全称量词是省略的,理解时需要把它补出来。
如:命题“平行四边形对角线互相平行”理解为“所有平行四边形对角线都互相平行”。
2、存在量词与存在量词命题
(1)存在量词:短语“存在一个”“至少有一个”在逻辑中通常叫作存在量词,并用符号“”表示.
(2)存在量词命题:含有存在量词的命题,叫作存在量词命题。
符号表示:存在量词命题“存在中的元素,使成立”可用符号简记为
【注意】(1)从集合的观点看,存在量词命题是陈述某集合中有一些元素具有某种性质的命题;
(2)一个存在量词命题可以包含多个变量;
(3)有些命题虽然没有写出存在量词,但其意义具备“存在”、“有一个”等特征都是存在量词命题
3、命题的否定:对命题p加以否定,得到一个新的命题,记作“”,读作“非p”或p的否定.
(1)全称量词命题的否定:
一般地,全称量词命题“”的否定是存在量词命题: .
(2)存在量词命题的否定:
一般地,存在量词命题“ ”的否定是全称量词命题: .
(3)命题与命题的否定的真假判断:
一个命题和它的否定不能同时为真命题,也不能同时为假命题,只能一真一假.
即:如果一个命题是真命题,那么这个命题的否定是假命题,反之亦然.
(4)常见正面词语的否定:
正面词语
等于(=)
大于(>)
小于(<)
是
都是
否定
不等式(≠)
不大于(≤)
不小于(≥)
不是
不都是
正面词语
至多有一个
至少有一个
任意
所有
至多有n个
否定
至少有两个
一个都没有
某个
某些
至少有n+1个
三、十年真题
考点1 充分条件与必要条件
1.(2023新课标Ⅰ,7,5分)记Sn为数列{an}的前n项和,设甲:{an}为等差数列;乙:为等差数列,则 ( )
A.甲是乙的充分条件但不是必要条件
B.甲是乙的必要条件但不是充分条件
C.甲是乙的充要条件
D.甲既不是乙的充分条件也不是乙的必要条件
2.(2023北京,8,4分,易)若xy≠0,则“x+y=0”是“=-2”的 ( )
A.充分不必要条件
B.必要不充分条件
C.充要条件
D.既不充分也不必要条件
3.((2023全国甲理,7,5分)设甲:sin2α+sin2β=1,乙:sin α+cos β=0,则 ( )
A.甲是乙的充分条件但不是必要条件
B.甲是乙的必要条件但不是充分条件
C.甲是乙的充要条件
D.甲既不是乙的充分条件也不是乙的必要条件
4.(2023天津,2,5分,易)“a2=b2”是“a2+b2=2ab”的 ( )
A.充分不必要条件
B.必要不充分条件
C.充分必要条件
D.既不充分又不必要条件
5.(2022浙江,4,4分)设x∈R,则“sin x=1”是“cos x=0”的 ( )
A.充分不必要条件
B.必要不充分条件
C.充分必要条件
D.既不充分也不必要条件
6.(2021浙江,3,4分)已知非零向量a,b,c,则“a·c=b·c”是“a=b”的 ( )
A.充分不必要条件 B.必要不充分条件
C.充分必要条件 D.既不充分也不必要条件
7.(2021北京,3,