第二讲 常用逻辑用语（原卷版）.docVIP

第二讲常用逻辑用语

【基础知识】

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

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

p是q的充分不必要条件

p?q且qp

p是q的必要不充分条件

pq且q?p

p是q的充要条件

p?q

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

pq且qp

2.全称量词与存在量词

(1)全称量词：短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号“?”表示.

(2)存在量词：短语“有一个”或“有些”或“至少有一个”在陈述中表示所述事物的个体或部分，逻辑中通常叫做存在量词，并用符号“?”表示.

3.全称命题和存在性命题(命题p的否定记为p，读作“非p”)

名称

形式

全称命题

存在性命题

结构

对M中的所有x，有p(x)成立

存在M中的一个x0，使p(x0)成立

简记

?x∈M，p(x)

?x0∈M，p(x0)

否定

?x0∈M，p(x0)

?x∈M，p(x)

【考点剖析】

考点一充分条件与必要条件的判断

【例题1-1】有以下说法，其中正确的个数为（）

（1）“m是自然数”是“m是整数”的充分条件.

（2）“两个三角形对应角相等”是“这两个三角形全等”的必要条件.

（3）“(a+b)·(a-b)=0”是“a=b”的必要条件.

A．0个 B．1个 C．2个 D．3个

【答案】D

【详解】

（1）由于“m是自然数”?“m是整数”，因此“