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

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

02

专题常用逻辑用语

【考点预测】

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

1．定义

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

2．从逻辑推理关系上看

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

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

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

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

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

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

肯定不成立).

二．全称量词与存在童词

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

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

“∀∈,()”，读作“对任意属于，有()成立”.

∃

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

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

00

∃

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

0000

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

¬∃∈

（1）全称量词命题:∀∈,()的否定为，¬().

00

:∃¬

（2）存在量词命题∈,()的否定为∀∈,¬().

00

注：全称、存在量词命题的否定是高考常见考点之一.

【方法技巧与总结】

1．从集合与集合之间的关系上看

设=|(),=|().

⊆

（1）若，则是的充分条件(⇒)，是的必要条件；若AB