【第2章実数と一次不等式】第2節：命題と証明④ ── 驚異の対称性！「逆・裏・対偶」のパズルをマスターせよ

皆さん、こんにちは！浦元です。
昨日の「論理力強化クイズ」、脳のフィルターは良い汗をかけましたか？

本日は、第2節の締めくくりとして、数学の論理の中で最も美しく強力なマジックを伝授します。
それが、命題をひっくり返したり否定したりして生まれる「逆（ぎゃく）・裏（うら）・対偶（たいぐう）」のパズルです！

言葉の文字面だけで考えると頭がこんがらがってしまいますが、ここでも最高の心構えは同じです。

「問題の内容を表す図を描きなさい。
図が解き方を教えてくれます」

補集合（〜以外の部屋）の図を描いてじっと観察すれば、このパズルの持つ「驚異の秘密」が一瞬で視覚的に理解できますよ！

元の命題を 「 \(p\) ⇒ \(q\) 」 としたとき、この式を次の3つの方法で変身させることができます。

🔄 逆（ぎゃく）： 主語と結論をそのまま入れ替える

➔ \(q\) ⇒ \(p\)

☯️ 裏（うら）： 主語と結論をそれぞれ否定（〜ではない）にする

➔ p ⇒ q

🛡️ 対偶（たいぐう）： 入れ替えて、さらに両方とも否定にする（逆＋裏）

➔ q ⇒ p

この中で、数学において最も重要で美しいのが「対偶（たいぐう）」です。
実は、じっと図を描いて観察すると、信じられない事実が浮かび上がります。

「元の命題が『真』なら、対偶も絶対に『真』になる！」

なぜでしょうか？前々回にやった「集合の図」を思い出してください。
「 \(p\) ⇒ \(q\) が真」ということは、\(p\) の部屋が \(q\) の部屋にすっぽり包まれている図になりますね。

では、その図の「それぞれの部屋の外側（ q と p ）」の広さをじっと観察してみてください。
\(q\) の外側の世界（ q ）は、より内側にある \(p\) の外側の世界（ p ）の中に、これまたすっぽりと包み込まれているのが見えませんか？

だから、 \(p\) ⇒ \(q\) が正しいとき、対偶である q ⇒ p も自動的に100%正しくなるのです！

【例題】
命題「 \(x = 2\) ⇒ \(x^2 = 4\) 」の逆・裏・対偶を作り、それぞれの真偽を調べなさい。

【解答（観察と構築）】
元の命題は、2を2乗したら4なので 【真】 です。これをもとに変身させます。

🔄 逆：「 \(x^2 = 4\) ⇒ \(x = 2\) 」
➔ 2乗して4になるのは \(-2\) もある（反例）ので 【偽】

☯️ 裏：「 \(x\) ≠ 2 ⇒ \(x^2\) ≠ 4 」
➔ \(x = -2\) のとき2乗すると4になっちゃう（反例）ので 【偽】
（※実は「逆」と「裏」も、お互いに対偶の関係にあるため、真偽が必ず一致します！）

🛡️ 対偶： 「 \(x^2\) ≠ 4 ⇒ \(x\) ≠ 2 」
➔ 元の命題が【真】だったのだから、図を観察するまでもなく 【真】 と即答できます！

直接証明するのが難しい複雑な命題も、「対偶の部屋」にワープして証明する。これが、今後の数学で大活躍する最強のショートカット戦略になります。

次の命題の「対偶」を頭の中でカチッと組み立ててみてください！

【問題】 次の命題の対偶を答えなさい。
「 \(x + y > 5\) ⇒ \(x > 2\) または \(y > 3\) 」

➔ ヒント：ド・モルガンの法則を思い出してください！「または」を否定（裏）にすると、何に変わるんでしたっけ？

✅ 对偶パズルの答えはこちら

入れ替えて、さらに両方を否定（裏）にします。
結論の「 \(x > 2\) または \(y > 3\) 」を丸ごと否定すると、ド・モルガンの法則により、不等号の向きが変わり、「または」は「かつ」にひっくり返ります！

・結論の否定： \(x\) ≦ 2 かつ \(y\) ≦ 3
· 主語の否定： \(x + y\) ≦ 5

これらを「ならば（⇒）」で繋いだものが対偶です。

【解答】
「 \(x\) ≦ 2 かつ \(y\) ≦ 3 ⇒ \(x + y\) ≦ 5 」 ── (答)

※「2以下」の数と「3以下」の数を足したら、当然「5以下」になりますよね。元の式よりも、この対偶の図の方が圧倒的に「真」であることが直感的に観察しやすいはずです。これぞ対偶の威力！

「逆・裏・対偶のパズルは、言葉を丸暗記しようとしない。
『元の命題と対偶の真偽は100%完全に一致する』という秘密を、部屋の外側の図（補集合）で観察して納得する。」

論理を自在に変身させられるようになった皆さん、今週も本当にお見事でした！

月曜日はお休みをいただき、次回の火曜日は、いよいよ第2章の最終節である
第3節：一次不等式① ── 不等式の基本性質と「両辺への掛け算の罠」へ突入します！
数直線の図をじっと観察しながら、不等号の向きが変わるあの不思議な現象の正体を暴きましょう。お楽しみに！