高考数学备考专题02常用逻辑用语菁讲.docxVIP

第PAGE1页（共NUMPAGES18页）

专题

专题02常用逻辑用语

?

1．充分条件、必要条件与充要条件的概念

若p?q，则p是q的充分条件，q是p的必要条件

p是q的充分不必要条件

p?q且q?p

p是q的必要不充分条件

p?q且q?p

p是q的充要条件

p?q

p是q的既不充分也不必要条件

p?q且q?p

2.全称量词与存在量词

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

(2)存在量词：短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，并用符号“?”表示．

3．全称量词命题和存在量词命题

名称

全称量词命题

存在量词命题

结构

对M中任意一个x，p(x)成立

存在M中的元素x，p(x)成立

简记

?x∈M，p(x)

?x∈M，p(x)

否定

?x∈M，p(x)

?x∈M，?p(x)

常用结论

1．充分、必要条件与对应集合之间的关系

设A＝{x|p(x)}，B＝{x|q(x)}．

(1)若p是q的充分条件，则A?B；

(2)若p是q的充分不必要条件，则A?B；

(3)若p是q的必要不充分条件，则B?A；

(4)若p是q的充要条件，则A＝B.

2．含有一个量词命题的否定规律是“改变量词，否定结论”．

3．命题p与p的否定的真假性相反．

?考点01充分、必要条件的判定

▼▼▼▼