用集合的包含关系看条件（小范围推大范围）

模型初稿待审

bx1-c2-s2-k4

一句话 · 把条件 p、q 各自看成解集 P、Q，则 p⇒q 等价于 P⊆Q；小范围能推大范围，大范围推不出小范围，两个解集相等则互为充要条件。

前置知识

①板书动画演示

讲稿 / 板书 / 图形三轨同步：听到哪一句，板书和图形就走到哪一步

引入1 / 13第 1 / 4 句三轨同步：语音 · 板书 · 图形

图形（由 draw 指令 JSON 确定性渲染，不是模型画的美术图）

本段以板书为主，没有图形。

板书（跟着讲稿逐行出现）

x>2 ⇒ x>0 ？

讲稿

看一个例子：x 大于 2 时，x 一定大于 0 吗？

3 段例题已按「读题 → 思路 → 关键步骤 → 写出过程」拆开，可以不跟播放器一步步做

1第 9 段例题
- P：x>3
- Q：x>0
卡住了？展开这一段的讲解
例：判断 x 大于 3 是 x 大于 0 的什么条件。先把两个解集写出来。
2第 10 段例题
- P⊆Q ⇒ p⇒q
- Q 里多出的数就是反例
卡住了？展开这一段的讲解
P 落在 Q 里面，所以 P 是 Q 的子集，p 能推出 q。反过来 Q 里有多余的数。
3第 11 段例题
- p 是 q 的充分不必要条件
- 再看：绝对值小于 1 的解集与 x 小于 1 的解集
卡住了？展开这一段的讲解
所以结论是 p 是 q 的充分不必要条件。再看一例：绝对值解集和大范围谁包含谁。

第2章常用逻辑用语 · 限时综合卷

题量

17 题

总分

110 分

限时

80 分钟

覆盖知识点

17 个

限时交卷后逐题给引导性解析（三层，一次放一层），错题自动进错题本。

做完题再回来看这一块，比先看更有效

「p 是 q 的充分条件」用集合的语言怎么说？
看答案与理由
答：记 P 为 p 的解集、Q 为 q 的解集，则 p 是 q 的充分条件等价于 P⊆Q。
为什么： p⇒q 表示满足 p 的每个 x 都满足 q，正是 P 中元素全在 Q 中。
为什么大范围推不出小范围？
看答案与理由
答：因为大范围里有多出的元素，它满足大范围的条件但不满足小范围的条件，是现成的反例。
为什么： 否定一个方向只要一个反例。
两个条件的解集满足 P⊆Q 且 Q⊆P，说明什么？
看答案与理由
答：说明 P=Q，两个条件互为充要条件。
为什么： 互相包含就是集合相等。

未填密钥

这个功能要调用 AI，需要先填一次你自己的接口密钥。

本站不预置 AI 密钥，需要你自己填一次（在「学习记录」页）。填之前，知识地图、三轨讲解、梯度练习、章测、错题本与学习报告全部照常可用。

这是刻意的设计：知识地图、三轨讲解、梯度练习、章测与学习报告全部离线可用，只有 AI 相关的几个功能需要联网。

内容状态公开，不藏着

本站自编讲义，非教材原文摘录；未引用教材页码、例题编号。

讲解与题目为本站自编，不是教材原文；本页不标示任何未核验的高考真题来源。