こんにちは！高校数学の学習ブログへようこそ！
第2章「論理と集合」もいよいよ大詰めです。
前回は「対偶」や「背理法」といった証明のテクニックを勉強しましたね。
第9回となる今回のテーマは「条件と集合」です！
「『かつ』や『または』の否定がややこしくて頭がこんがらがる…」
「命題の真偽や必要十分条件の判定問題で、判定ミスをしてしまう…」
そんな悩みを一発で解消してくれるのが、今回解説する「命題を集合（ベン図）に置き換えて視覚化する」という最強の整理テクニックです！
論理と集合がどのように結びついているのか、スッキリ解き明かしていきましょう！
1. 「条件」と「集合」の切っても切れない関係
数学では、ある条件 $p$ を満たすもの全体の集まりを集合 $P$（条件 $p$ の真理集合）と呼びます。
例えば、
- 条件 $p$：「 $x$ は 6 の正の約数」
- 真理集合 $P$：$P = \{1, 2, 3, 6\}$
このように、「論理の条件」はすべて「集合」に1対1で置き換えることができます！
まずは、論理の言葉が集合のどの記号に対応するのかを整理してみましょう。
| 論理の言葉 | 集合の記号・意味 | ベン図のイメージ |
| $p$ かつ $q$ | 共通部分：$P \cap Q$ | 2つの円が重なっている場所 |
| $p$ または $q$ | 和集合：$P \cup Q$ | 2つの円を合わせた全エリア |
| $p$ でない（否定 $\overline{p}$） | 補集合：$\overline{P}$ | 円 $P$ の外側エリア |
2. ド・モルガンの法則を「条件の否定」で使う！
第6回で習った「ド・モルガンの法則」を、条件の否定に応用してみましょう。
- 「$p$ かつ $q$」の否定 $\Longrightarrow$ 「$\overline{p}$ または $\overline{q}$」$$\overline{P \cap Q} = \overline{P} \cup \overline{Q}$$
- 「$p$ または $q$」の否定 $\Longrightarrow$ 「$\overline{p}$ かつ $\overline{q}$」$$\overline{P \cup Q} = \overline{P} \cap \overline{Q}$$
★ 条件の否定の鉄則
- それぞれの条件を否定する（$p \to \overline{p}$、$q \to \overline{q}$）
- 「かつ」と「または」をひっくり返す！
【具体例】
「 $x > 0$ かつ $y \leqq 2$ 」の否定は？
- $x > 0$ の否定 $\to x \leqq 0$
- $y \leqq 2$ の否定 $\to y > 2$
- 「かつ」をひっくり返す $\to$ 「または」
正解： 「 $x \leqq 0$ または $y > 2$ 」
3. 命題の「真偽」を集合の「包含関係」で見抜く！
命題 $p \Longrightarrow q$ （$p$ ならば $q$）の真偽は、真理集合 $P, Q$ の包含関係を見れば一目瞭然です。
★ 命題と集合の包含関係
命題 $p \Longrightarrow q$ が 真 である $\iff P \subset Q$ （ $P$ が $Q$ にすっぽり包まれている）
Plaintext
┌────────────────────────┐
│ 全体集合 U │
│ ┌────────────────┐ │
│ │ 集合 Q (必要) │ │
│ │ ┌────────┐ │ │
│ │ │集合 P │ │ │
│ │ │ (十分) │ │ │
│ │ └────────┘ │ │
│ └────────────────┘ │
└────────────────────────┘
- 真の場合（$P \subset Q$）：$P$ の円が $Q$ の円の中に完全に入っているため、$P$ に入っている要素は例外なくすべて $Q$ にも入ります。
- 偽の場合（$P \not\subset Q$）：$P$ の円の一部が $Q$ の外にはみ出しています。この「はみ出した部分」にある要素こそが「反例」です！
4. 必要条件・十分条件もベン図で即解決！
第7回で学んだ「必要条件・十分条件」も、集合の包み・包まれ関係（$P \subset Q$）で考えると絶対に間違えなくなります。
- $P \subset Q$ のとき：
- $p$ は $q$ であるための 十分条件（小さい円 $P$ に入っていれば、十分 $Q$ にも入っている）
- $q$ は $p$ であるための 必要条件（大きな円 $Q$ に入っていることが最低限必要）
- $P = Q$ のとき：
- $p$ は $q$ であるための 必要十分条件（同値）
「集合の円が大きい方が『必要条件』、小さい方が『十分条件』」と覚えておくと非常に便利です！
5. 実戦問題にチャレンジ！
集合の関係を使って、命題の真偽を判定してみましょう。
【例題】
実数 $x$ に関する2つの条件 $p, q$ を次のように定める。
- $p : -1 < x < 2$
- $q : -2 < x < 3$
命題 $p \Longrightarrow q$ の真偽を調べなさい。
解答・解説
条件 $p, q$ を満たす実数の集合（数直線）を書いてみましょう。
- 集合 $P = \{ x \mid -1 < x < 2 \}$
- 集合 $Q = \{ x \mid -2 < x < 3 \}$
数直線上で範囲を比較すると、範囲 $P$（$-1$ から $2$ まで）は、範囲 $Q$（$-2$ から $3$ まで）の内側にすっぽり含まれています（$P \subset Q$）。
したがって、命題 $p \Longrightarrow q$ は 真 である。
（※ちなみに、逆の命題 $q \Longrightarrow p$ は、例えば $x = 2.5$ などがはみ出しているため「偽（反例：$x = 2.5$）」となります。よって、$p$ は $q$ であるための十分条件です！）
6. 理解度チェック！確認テスト（演習問題）
理解できたか、実際に手を動かしてチェックしてみましょう！
【問題1】条件の否定
次の条件の否定を述べよ。
「$a = 0$ または $b = 0$」
【解答】
$a \neq 0$ かつ $b \neq 0$
【解説のポイント】
- $a = 0$ の否定 $\to a \neq 0$
- $b = 0$ の否定 $\to b \neq 0$
- 「または」の否定 $\to$ 「かつ」丁寧に変形すればミスを防げます！
【問題2】集合と必要・十分条件
$x$ を実数とするとき、条件 $p: \vert{}x\vert{} < 1$ は、条件 $q: x < 2$ であるための何条件か。
「必要十分条件」「必要条件であるが十分条件ではない」「十分条件が必要条件ではない」「必要条件も十分条件もない」から選べ。
【解答】
十分条件が必要条件ではない
【解説のポイント】
それぞれの真理集合 $P, Q$ の範囲を求めます。
- 条件 $p : \vert{}x\vert{} < 1 \iff -1 < x < 1$$\to P = \{ x \mid -1 < x < 1 \}$
- 条件 $q : x < 2$$\to Q = \{ x \mid x < 2 \}$
数直線で表すと、範囲 $P$（$-1 < x < 1$）は、範囲 $Q$（$x < 2$）の中に完全に包まれています（$P \subset Q$）。
- $P \subset Q$ より、$p \Longrightarrow q$ は 真（右向き真 $\to$ 十分条件）
- $Q \not\subset P$ より、$q \Longrightarrow p$ は 偽（反例：$x = -1.5$ など）
したがって、 $p$ は $q$ であるための十分条件が必要条件ではないとなります。
まとめ
今回のポイントをおさらいしましょう！
- 論理の条件は「集合（ベン図・数直線）」に置き換えて整理する！
- 条件の否定は、記号を否定して「かつ」と「または」をひっくり返す！
- $P \subset Q$（すっぽり包まれている）なら、命題 $p \Longrightarrow q$ は「真」！
- 包んでいる「大きい円」が必要条件、「小さい円」が十分条件！
論理の問題で迷ったら、頭の中だけで考えずにベン図や数直線を描く習慣をつけましょう。視覚化することでケアレスミスが激減しますよ！
これで第2章「論理と集合」はすべて終了です！お疲れ様でした！
次回からは、数Ⅰの最大の山場とも言われる第3章「2次関数」に入っていきます。まずは「2次関数のグラフと頂点の求め方（平方完成）」から分かりやすく解説しますので、お楽しみに！
参考PR
- 安さ＆予備校級の講義動画なら 👉 [スタディサプリ高校講座]
- 定期テスト＆推薦入試対策なら 👉 [進研ゼミ高校講座]
- 難関大突破＆記述・添削なら 👉 [Ｚ会の通信教育]
コメント