浙江专用2024高考数学一轮复习第一章集合与常用逻辑用语第2讲命题及其关系充分条件与必要条件学案.docVIP

PAGE

PAGE6

第2讲命题及其关系、充分条件与必要条件

1．命题

用语言、符号或式子表达的，可以推断真假的陈述句叫做命题．其中推断为真的语句叫做真命题，推断为假的语句叫做假命题．

2．四种命题及其关系

(1)四种命题间的相互关系

(2)四种命题的真假关系

①两个命题互为逆否命题，它们有相同的真假性；

②两个命题为互逆命题或互否命题，它们的真假性没有关系．

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

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

p是q的充分不必要条件

p?q且qeq\o(?,\s\up0(/))p

p是q的必要不充分条件

peq\o(?,\s\up0(/))q且q?p

p是q的充要条件

p?q

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

peq\o(?,\s\up0(/))q且qeq\o(?,\s\up0(/))p

常用结论

集合与充要条件的关系

设p，q成立的对象构成的集合分别为A，B，

(1)p是q的充分不必要条件?AB；

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

(3)p是q的充要条件?A＝B.

[思索辨析]

推断正误(正确的打“√”，错误的打“×”)

(1)当q是p的必要条件时，p是q的充分条件．()

(2)q不是p的必要条件时，“peq\o(?,\s\up0(/))q”成立．()

答案：(1)√(2)√

[诊断自测]

1．命题“若a2＋b2＝0，a，b∈R，则a＝b＝0”的逆否命题是________．

答案：若a≠0或b≠0，a，b∈R，则a2＋b2≠0

2．已知命题“对随意a，b∈R，若ab0，则a0”，则它的否命题是________．

答案：对随意a，b∈R，若ab≤0，则a≤0

3．已知p：x＝2，q：x－2＝eq\r(2－x)，则p是q的________条件．

解析：当x－2＝eq\r(2－x)时，两边平方可得(x－2)2＝2－x，即(x－2)(x－1)＝0，解得x1＝2，x2＝1.当x＝1时，－1＝eq\r(1)，不成立，故舍去，则x＝2.所以p是q的充要条件．

答案：充要

四种命题的相互关系及真假推断(自主练透)

1．命题“若x21，则－1x1”的逆否命题是()

A．若x2≥1，则x≥1或x≤－1

B．若－1x1，则x21

C．若x1或x－1，则x21

D．若x≥1或x≤－1，则x2≥1

解析：选D．命题的形式是“若p，则q”，由逆否命题的学问，可知其逆否命题是“若﹁q，则﹁p”的形式，所以“若x21，则－1x1”的逆否命题是“若x≥1或x≤－1，则x2≥1”．

2．有以下命题：

①“若xy＝1，则x，y互为倒数”的逆命题；

②“面积相等的两个三角形全等”的否命题；

③“若m≤1，则x2－2x＋m＝0有实数解”的逆否命题；

④“若A∩B＝B，则A?B”的逆否命题．

其中真命题是()

A．①② B．②③

C．④ D．①②③

解析：选D．①原命题的逆命题为“若x，y互为倒数，则xy＝1”，是真命题；②原命题的否命题为“面积不相等的两个三角形不全等”，是真命题；③若m≤1，Δ＝4－4m≥0，所以原命题是真命题，故其逆否命题也是真命题；④由A∩B＝B，得B?A，所以原命题是假命题，故其逆否命题也是假命题，故①②③正确．

3．已知集合P＝eq\b\lc\{\rc\}(\a\vs4\al\co1(x|x＝k＋\f(1,2)，k∈Z))，Q＝eq\b\lc\{\rc\}(\a\vs4\al\co1(x|x＝\f(k,2)，k∈Z))，记原命题：“x∈P，则x∈Q”，那么，在原命题及其逆命题、否命题、逆否命题中，真命题的个数是()

A．0 B．1

C．2 D．4

解析：选C．因为P＝eq\b\lc\{\rc\}(\a\vs4\al\co1(x|x＝k＋\f(1,2)，k∈Z))＝eq\b\lc\{\rc\}(\a\vs4\al\co1(x|x＝\f(2k＋1,2)，k∈Z))，Q＝eq\b\lc\{\rc\}(\a\vs4\al\co1(x|x＝\f(k,2)，k∈Z))，

所以PQ，

所以原命题“x∈P，则x∈Q”为真命题，

则原命题的逆否命题也为真命题．

原命题的逆命题“x∈Q，则x∈P”为假命题，

则原命题的否命题为假命题，所以真命题的个数为2.

eq\a\vs4\al()

(1)写一个命题的其他三种命题时需关注2点

①对于不是“若p，则q”形式的命题，需先改写；

②若命题有大前提，写其他三种命题时需保留大前提．

[提示]四种命题的关系具有相对性，一旦一个命题定为原命题，相应的也就有了它的“逆命题”“否命题”“逆否命题”．

(2)推断命题真假的2种方法

①干脆推断：推断一个命题为真命题，要给出严格的推理证明；说明一个命题是假命题，只需举出一