集合と命題——必要十分条件・対偶・反例
集合の演算とベン図、命題 p ⇒ q の逆・裏・対偶、必要条件・十分条件の判定を、集合との対応で整理する。反例の作り方と「証明が難しいときは対偶で考える」着眼を身につける。
- 集合の記号（∈、⊆、∪、∩、補集合）を使い、ベン図で集合の演算を確認できる
- 命題の逆・裏・対偶を作り、真偽がどこで一致しどこで食い違うかを説明できる
- 必要条件・十分条件を集合の包含関係と対応づけて判定できる
- 偽である命題に対して反例を1つ具体的に挙げ、対偶を使った証明の着眼を得る
📑 目次
数学の問題文は「〜であるためには〜があれば十分」「〜ならば〜が必ず成り立つ」といった論理の言葉で書かれている。この記事では 集合の図（ベン図） と 命題 p ⇒ q の変形 を対応づけて、論理を「暗記」ではなく「見て判断できる」状態にする。数IIの証明記事（恒等式・不等式の証明）が「計算でどう証明を書くか」だったのに対し、ここでは 問題文の構造をどう読むか を扱う。
1. 集合の記号と、その意味
全体集合 U の中の部分集合 A, B に対して、次の記号を使う。x ∈ A（x は A の要素）、A ⊆ B（A は B の部分集合：A の要素はすべて B の要素）、A ∪ B（和集合：少なくとも一方に入る）、A ∩ B（積集合：両方に入る）、ᾱ または Ā（U における A の補集合：A の外）。
| 記号 | 読み | ベン図での見え方 |
|---|---|---|
| x ∈ A | x は A の要素 | 点 x が円 A の中にある |
| A ⊆ B | A は B に含まれる | 円 A が円 B の内側にある |
| A ∪ B | A または B（和集合） | 両円で囲まれた全体 |
| A ∩ B | A かつ B（積集合） | 両円の重なり |
| ᾱ | A の補集合 | 円 A の外側の部分 |
2. ド・モルガンの法則——集合の演算で確かめる
補集合と和・積の間には、次の関係が成り立つ。
🔍 ド・モルガンの1本目を「真偽で検算」する
- x ∈ A ∪ B とは
2つの条件のうち少なくとも一方が成り立つ
- その否定（外側にいること）は
「または」の否定は「〜でない、かつ、〜でない」
- つまり
両円の外＝両方の補集合の重なり
- 具体例で検算
A∪B={1,2,3}，その補集合は {4,5}。一方 Ā={3,4,5}，B̄={1,4,5}，Ā∩B̄={4,5}。一致した
3. 命題 p ⇒ q と集合の対応
命題 p ⇒ q（p ならば q）が真であるとは、「p という条件を満たすものが、必ず q も満たす」ということ。そこで、p を満たすものの集合を P、q を満たすものの集合を Q とすると、p ⇒ q が真 ⇔ P ⊆ Q という対応ができる。論理の言葉が集合の包含に翻訳される。
| 論理の言葉 | 集合の言葉 |
|---|---|
| p ⇒ q が真 | P ⊆ Q |
| q ⇒ p が真（逆が真） | Q ⊆ P |
| p ⇔ q が真（同値） | P = Q |
| p ⇒ q の否定 | P ⊄ Q（p は満たすが q を満たさないものが存在） |
p ⇒ q が真のとき、p は q に対して十分条件、q は p に対して必要条件 と呼ぶ。判断の目安はシンプルで、「q ⇒ p の方向に要素が流れられない」かどうかを見る。集合で言えば、P が Q の中に完全に入っている（真部分集合でもよい）なら p ⇒ q は真。
実数 x について「x > 2」を p、「x > 1」を q とする。p は q に対してどのような条件か。集合の包含で答えよ。
解答・解説
p を満たす集合 P = {x | x > 2} は Q = {x | x > 1} の部分集合（たとえば 1.5 は q は満たすが p は満たさない）。よって P ⊆ Q なので **p ⇒ q は真**。したがって p は q に対して十分条件、q は p に対して必要条件。なお q ⇒ p は真でない（1.5 の反例）から、逆は偽で p と q は同値ではない。
4. 逆・裏・対偶
命題 p ⇒ q に対して、逆：q ⇒ p、裏：¬p ⇒ ¬q（¬ は否定）、対偶：¬q ⇒ ¬p の3つを作る。真偽の対応関係が最重要。
| 命題 | 形 | p ⇒ q が真のときの真偽 |
|---|---|---|
| もとの命題 | p ⇒ q | 真 |
| 逆 | q ⇒ p | 真とは限らない |
| 裏 | ¬p ⇒ ¬q | 真とは限らない |
| 対偶 | ¬q ⇒ ¬p | 必ず真（もとと真偽が一致） |
集合で見ると理由が明快になる。p ⇒ q が真とは P ⊆ Q。集合の包含の関係を「外から見る」と、Q の外は P の外でもある（P の外にいたら Q の外かどうかは分からない）。つまり ¬q ⇒ ¬p は同じ包含関係を逆向きに見ただけの表現で、真偽が必ず一致する。逆・裏はこの対応にないので真偽は保たれない。
命題「x = 2 ならば x² = 4」（真）について、逆・裏・対偶を作り、実数の範囲で真偽を調べよ。
解答・解説
逆「x² = 4 ならば x = 2」は偽（x = −2 が反例）。裏「x ≠ 2 ならば x² ≠ 4」も偽（x = −2 は x ≠ 2 を満たすのに x² = 4）。対偶「x² ≠ 4 ならば x ≠ 2」は真——x² ≠ 4 で x = 2 とすると 2² = 4 となり矛盾するから。もとの命題と対偶だけが真偽一致している。
5. 反例——偽を示す最短の手続き
全称命題（「すべての〜について」）が偽であることを示すには、証明ではなく 反例1つ を挙げればよい。反例に求められる条件は2つ：(1) 前提の条件を満たす、(2) 結論を満たさない。境界値や端の値（0、1、負の数、小数）に反例が隠れやすい。
「n が自然数ならば、n² + n + 41 は素数である」は真か。自然数 n = 0, 1, 2, … のいくつかを代入して調べ、偽なら反例を挙げよ。
解答・解説
n = 0 で 41（素数）、n = 1 で 43（素数）、n = 2 で 47（素数）、n = 3 で 53（素数）と続くが、**n = 40** で n² + n + 41 = 1600 + 40 + 41 = 1681 = 41² となり素数でない。よって偽で、n = 40 が反例。検算：40² = 1600，1600 + 40 + 41 = 1681，41 × 41 = 1681。この式は n = 0〜39 の40項にわたって素数が続き、オイラーが1772年に指摘した例として有名である（ただし「前40項が素数」は式の特殊な構造によるもので、一般の多項式が常に素数を生むわけではない）。反例は n = 40 で式の値が 41 の倍数になる構造から生まれている。
6. 集合の記号で書き下す——必要十分条件の実戦
2次方程式 ax² + bx + c = 0（a ≠ 0，a, b, c は実数）の判別式 D = b² − 4ac を例に、必要条件・十分条件の判定を練習する。D > 0 は「相異なる2つの実数解をもつ」に対して、どちらの条件だろうか。
🔍 判別式 D と解の個数の対応
- 解の公式から
根号の中が解の実数性を決める
- D > 0 のとき
±で2つの異なる実数 → 相異なる2つの実数解
- D = 0 のとき
重解（実数解は1つ）
- D < 0 のとき
実数解なし（異なる2つの虚数解）
よって「D > 0 ⇒ 相異なる2つの実数解」も「相異なる2つの実数解 ⇒ D > 0」も真で、D > 0 は「相異なる2つの実数解をもつ」の必要十分条件。D ≥ 0 なら「実数解をもつ」の必要十分条件になる。境界の値（D = 0）を含むか含まないかで必要・十分が変わる点は、集合の表現「P = {x | D > 0}」と比較しながら確認するとミスが減る。
方程式 x² + 2x + k = 0 が相異なる2つの実数解をもつような実数 k の条件を求め、k = −1 で調べよ。
解答・解説
判別式 D = 4 − 4k > 0 ⇔ k < 1。したがって k < 1 が答え。検算：k = 0 のとき x² + 2x = 0，x(x+2) = 0 で解は 0 と −2 の2つ（OK）。k = 1 のとき (x + 1)² = 0 で重解 x = −1（境界で2つでなくなることを確認）。k = −1 のとき x² + 2x − 1 = 0，D = 4 + 4 = 8 > 0 なので相異なる2つの実数解をもつ。
全体集合 U = {1, 2, 3, 4, 5, 6}、A = {2, 4, 6}、B = {1, 2, 3} のとき、ᾱ ∪ B̄ を求めよ（ᾱ は U における A の補集合）。
ヒント
ド・モルガンで (A ∩ B) の補集合に変形してから計算すると検算になる。
解答・解説
Ā = {1, 3, 5}，B̄ = {4, 5, 6} なので Ā ∪ B̄ = {1, 3, 4, 5, 6}。検算：A ∩ B = {2}，その補集合は {1, 3, 4, 5, 6} で一致（ド・モルガン ᾱ ∪ B̄ = A ∩ B の補集合）。
命題「x は偶数 ⇒ x は 4 の倍数」の逆・裏・対偶を作り、それぞれの真偽を答えよ。
ヒント
偶数のうち 4 の倍数でないもの（2, 6, 10 など）が鍵。
解答・解説
逆「x は 4 の倍数 ⇒ x は偶数」：真（4 の倍数は必ず偶数）。裏「x は偶数でない ⇒ x は 4 の倍数でない」：真（逆の対偶なので逆と真偽一致）。対偶「x は 4 の倍数でない ⇒ x は偶数でない」：偽（x = 2 は 4 の倍数でないが偶数）。
実数 x について、条件 p「x² > 4」は条件 q「x > 2」に対して必要条件・十分条件のどれか。集合の包含を用いて判定し、反例を示せ。
ヒント
x² > 4 の解集合をまず書き出す。
解答・解説
x² > 4 ⇔ |x| > 2 ⇔ x > 2 または x < −2。よって {x | x² > 4} ⊃ {x | x > 2}。つまり q ⇒ p は真（q は p の十分条件）、p ⇒ q は偽（x = −3 で x² = 9 > 4 だが x > 2 でない。反例：x = −3）。
命題「n が 3 の倍数ならば n² は 9 の倍数」（n は自然数）を対偶を用いて証明せよ。
ヒント
対偶は「n² が 9 の倍数でない ⇒ n は 3 の倍数でない」ではなく、直接 n が 3 の倍数でない場合を考える。
解答・解説
n が 3 の倍数でないとき、n = 3m + 1 または n = 3m + 2（m は 0 以上の整数）と書ける。n = 3m + 1 のとき n² = 9m² + 6m + 1 = 3(3m² + 2m) + 1 となり 9 の倍数でない（3 で割ると余り 1）。n = 3m + 2 のとき n² = 9m² + 12m + 4 = 3(3m² + 4m + 1) + 1 となり 9 の倍数でない。よって対偶「n が 3 の倍数でない ⇒ n² は 9 の倍数でない」が真なので、もとの命題は真。
問1. 「または」の否定は何か。
問2. 命題 p ⇒ q が真のとき、真偽が必ず一致する変形はどれか。
問3. 集合で P ⊆ Q（真部分集合）のとき、「x ∈ P」は「x ∈ Q」に対する条件として正しいものはどれか。
問4. 「すべての自然数 n について n² + 1 は素数である」が偽であることを示す方法として正しいものはどれか。
問5. 方程式 x² + ax + 1 = 0 が重解をもつときの実数 a の値の個数はいくつか。
まとめ：集合の包含 ⊆ が命題の ⇒ に対応する。p ⇒ q が真なら対偶 ¬q ⇒ ¬p も真（真偽一致）で、逆・裏は真とは限らない。全称命題の偽は反例1つで示せる。この「集合の図 ↔ 論理の言葉」の翻訳ができると、必要十分条件の判定も証明の方針選びも、感覚ではなく構造で判断できるようになる。