高考备考资料之数学人教B版全国用讲义第一章集合与常用逻辑用语12.docx

§1.2命题与量词、基本逻辑联结词

最新考纲

考情考向分析

1.理解命题的概念．

2.了解逻辑联结词“或”“且”“非”的含义．

3.理解全称量词和存在量词的意义．

4.能正确地对含有一个量词的命题进行否定.

逻辑联结词和含有一个量词的命题的否定是高考的重点；命题的真假判断常以函数、不等式为载体，考查学生的推理判断能力，题型为选择、填空题，低档难度.

1．命题的概念

能够判断真假的语句叫做命题．其中判断为真的语句叫真命题，判断为假的语句叫假命题．

2．全称量词与全称命题

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

(2)全称命题：含有全称量词的命题．

(3)全称命题的符号表示：

形如“对M中的所有x，p(x)”的命题，用符号简记为“?x∈M，p(x)”．

3．存在量词与存在性命题

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

(2)存在性命题：含有存在量词的命题．

(3)存在性命题的符号表示：

形如“存在集合M中的元素x，q(x)”的命题，用符号简记为?x∈M，q(x)．

(4)全称命题与存在性命题的否定

命题

命题的否定

?x∈M，p(x)

?x∈M，綈p(x)

?x∈M，q(x)

?x∈M，綈q(x)

4.基本逻辑联结词

(1)命题中的“且”、“或”、“非”叫做逻辑联结词．

(2)命题真值表

p

q

p∧q

p∨q

綈p

真

真

真

真

假

假

真

假

真

真

真

假

假

真

假

假

假

假

假

真

知识拓展

1．含有逻辑联结词的命题真假的判断规律

(1)p∨q：p，q中有一个为真，则p∨q为真，即有真为真．

(2)p∧q：p，q中有一个为假，则p∧q为假，即有假即假．

(3)綈p：与p的真假相反，即一真一假，真假相反．

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

3．命题的否定和否命题的区别：命题“若p，则q”的否定是“若p，则綈q”，否命题是“若綈p，则綈q”．

题组一思考辨析

1．判断下列结论是否正确(请在括号中打“√”或“×”)

(1)命题“3≥2”是真命题．(√)

(2)命题p和綈p不可能都是真命题．(√)

(3)若命题p，q中至少有一个是真命题，则p∨q是真命题．(√)

(4)“全等三角形的面积相等”是特称命题．(×)

(5)命题綈(p∧q)是假命题，则命题p，q中至少有一个是真命题．(×)

题组二教材改编

2．已知p：2是偶数，q：2是质数，则命题綈p，綈q，p∨q，p∧q中真命题的个数为()

A．1 B．2

C．3 D．4

答案B

解析p和q显然都是真命题，所以綈p，綈q都是假命题，p∨q，p∧q都是真命题．

3．命题“正方形都是矩形”的否定是__________________________________．

答案存在一个正方形，这个正方形不是矩形

题组三易错自纠

4．命题“全等三角形的面积一定都相等”的否定是()

A．全等三角形的面积不一定都相等

B．不全等三角形的面积不一定都相等

C．存在两个不全等三角形的面积相等

D．存在两个全等三角形的面积不相等

答案D

解析命题是省略量词的全称命题，易知选D.

5．(2017·贵阳调研)下列命题中的假命题是()

A．?x∈R，lgx＝1 B．?x∈R，sinx＝0

C．?x∈R，x3＞0 D．?x∈R,2x＞0

答案C

解析当x＝10时，lg10＝1，则A为真命题；

当x＝0时，sin0＝0，则B为真命题；

当x＜0时，x3＜0，则C为假命题；

由指数函数的性质知，?x∈R,2x＞0，则D为真命题．

故选C.

6．已知命题p：?x∈R，x2－a≥0；命题p：?x∈R，x2＋2ax＋2－a＝0.若命题“p∧q”是真命题，则实数a的取值范围为__________．

答案(－∞，－2]

解析由已知条件可知p和q均为真命题，由命题p为真得a≤0，由命题q为真得Δ＝4a2－4(2－a)≥0，即a≤－2或a≥1，所以a≤－2.

题型一含有逻辑联结词的命题的真假判断

1．(2018·济南调研)设a，b，c是非零向量．已知命题p：若a·b＝0，b·c＝0，则a·c＝0；命题q：若a∥b，b∥c，则a∥c.则下列命题中的真命题是()

A．p∨q B．p∧q

C．(綈p)∧(綈q) D．p∨(綈q)

答案A

解析如图所示，

若a＝eq\o(A1A,\s\up6(→))，b＝eq\o(AB,\s\up6(→))，c＝eq\o(B1B,\s\up6(→))，则a·c≠0，命题p为假命题；显然命题q为真命题，所以p∨q为真命