专题02 常用逻辑用语（学生版）高中数学53个题型归纳与方法技巧总结篇.pdfVIP

高中数学53个题型归纳与方法技巧总结篇

02

专题常用逻辑用语

【考点预测】

一、充分条件、必要条件、充要条件

1．定义

如果命题“若，则”为真(记作pq)，则是的充分条件；同时是的必要条件.

pqpqqp

2．从逻辑推理关系上看

（1）若且，则是的充分不必要条件；

pqqppq

（2）若且，则是的必要不充分条件；

pqqppq

pqqp

（3）若且，则是的的充要条件(也说和等价)；

pqpq

pqqp

（4）若且，则不是的充分条件，也不是的必要条件.

pqq

对充分和必要条件的理解和判断，要搞清楚其定义的实质：pq，则是的充分条件，同时是的

pqqp

必要条件.所谓“充分”是指只要成立，就成立；所谓“必要”是指要使得成立，必须要成立(即如果

pqpqq

不成立，则肯定不成立).

p

二．全称量词与存在童词

（1）全称量词与全称量词命题.短语“所有的”、“任意一个”在逻辑中通常叫做全称量词，并用符号“”表示.



含有全称量词的命题叫做全称量词命题.全称量词命题“对中的任意一个，有成立”可用符号简记

Mxp(x)

为“”，读作“对任意属于，有成立”.

xM,p(x)xMp(x)

（2）存在量词与存在量词命题.短语“存在一个”、“至少有一个”在逻辑中通常叫做存在量词，并用符号“”



M

表示.含有存在量词的命题叫做存在量词命题.存在量词命题“存在中的一个，使成立”可用符号

xp(x)

00

M

简记为“”，读作“存在中元素，使成立”（存在量词命题也叫存在性命题）.

xM,P(x)xp(x)

0000

三．含有一个量词的命题的否定

p

（1）全称量词命题p:xM,p(x)的否定为，.

xM