专题02 常用逻辑用语（10大考点，知识串讲+热考题型+专题训练）（解析版）-A4.docxVIP

第PAGE页

专题02常用逻辑用语

知识聚焦

考点聚焦

知识点1充分条件与必要条件

“若p，则q”为真命题

“若p，则q”为假命题

推出关系

p?q

p?q

条件关系

p是q的充分条件

q是p的必要条件

p不是q的充分条件

q不是p的必要条件

定理关系

判定定理给出了相应数学结论成立的充分条件

性质定理给出了相应数学结论成立的必要条件

【注意】

（1）前提p?q，有方向，条件在前，结论在后；

（2）p是q的充分条件或q是p的必要条件；

（3）改变说法：“p是q的充分条件”还可以换成q的一个充分条件是p；

“q是p的必要条件”还可以换成“p的一个必要条件是q”．

知识点2充要条件

1、充要条件的定义

如果“若，则”和它的逆命题“若，则”均为真命题，即既有，又有，就记作。

此时，既是的充分条件，也是的必要条件，我们说是的充分必要条件，简称充要条件。

2、充要条件的含义

若是的充要条件，则也是的充要条件，虽然本质上是一样的，但在说法上还是不同的，

因为这两个命题的条件与结论不同。

3、充要条件的等价说法：是的充要条件又常说成是成立当且仅当成立，或与等价。

知识点3全称量词与全称量词命题

1、全称量词：短语“所有的”“任意一个”在逻辑中通常叫作全称量词，并用符号“”表示．

【注意】（1）全称量词的数量可能是有限的，也可能是无限的，由有题目而定；

（2）常见的全称量词还有“一切”、“任给”等，相应的词语是“都”

2、全称量词命题

（1）定义：含有全称量词的命题，称为全称量词命题．

（2）符号表示：通常，将含有变量的语句用，，，…表示，变量的取值范围用表示，那么，全称量词命题“对中任意一个，成立”可用符号简记为

【注意】（1）从集合的观点看，全称量词命题是陈述某集合中所有元素都具有某种性质的命题；

（2）一个全称量词命题可以包含多个变量；

（3）有些全称量词命题中的全称量词是省略的，理解时需要把它补出来。

如：命题“平行四边形对角线互相平行”理解为“所有平行四边形对角线都互相平行”。

知识点4存在量词与存在量词命题

1、存在量词：短语“存在一个”“至少有一个”在逻辑中通常叫作存在量词，并用符号“”表示．

【注意】常见的存在量词还有“有些”、“有一个”、“对某些”、“有的”等；

2、存在量词命题

（1）定义：含有存在量词的命题，叫作存在量词命题。

（2）符号表示：存在量词命题“存在中的元素，使成立”可用符号简记为

【注意】（1）从集合的观点看，存在量词命题是陈述某集合中有一些元素具有某种性质的命题；

（2）一个存在量词命题可以包含多个变量；

（3）有些命题虽然没有写出存在量词，但其意义具备“存在”、“有一个”等特征都是存在量词命题

知识点5命题的否定

1、命题的否定：对命题p加以否定，得到一个新的命题，记作“”，读作“非p”或p的否定．

（1）全称量词命题的否定：

一般地，全称量词命题“”的否定是存在量词命题：．

（2）存在量词命题的否定：

一般地，存在量词命题“”的否定是全称量词命题：．

2、常见正面词语的否定：

正面词语

等于（＝）

大于（＞）

小于（＜）

是

都是

否定

不等式（≠）

不大于（≤）

不小于（≥）

不是

不都是

正面词语

至多有一个

至少有一个

任意

所有

至多有n个

否定

至少有两个

一个都没有

某个

某些

至少有n+1个

考点剖析

考点1充分不必要条件的判断

【例1】（2023春·江西宜春·高一校联考期中）“”是“”的（）

A．充分不必要条件B．必要不充分条件

C．充要条件D．既不充分也不必要条件

【答案】A

【解析】因为，此时当且仅当，

又因为“”是“”的充分不必要条件，

所以“”是“”的充分不必要条件.故选：A.

【变式1-1】（2023秋·四川南充·高一校考阶段练习）对于实数，或，那么是的（）条件

A．充分不必要B．必要不充分C．充要D．既不充分也不必要

【答案】A

【解析】“若，则或”的逆否命题为“若且，则”为真命题，

所以当时，或成立，

而当或时，不一定成立，如时，，

所以是的充分不必要条件，故选：A

【变式1-2】（2023秋·宁夏银川·高一银川一中校考阶段练习）设计如图所示的四个电路图，条件：“开关闭合”；条件：“灯泡亮”，则是的充分不必要条件的电路图是（）

??

A．（1）B．（2）C．（3）D．（4）

【答案】AD

【解析】图（1），开关闭合，灯泡亮，灯泡亮，开关不一定闭合，

则是的充分不必要条件；

图（2），是的充要条件；

图（3），开关闭合，灯泡不一定亮，灯泡亮，开关一定闭合，

所以是的必要不充分