論理推論 — 要件・十分条件・命題の役・李・大宇完全征服

論理推論における命題の逆・裏・対偶は、論理学（論理学）と数学の試験のどちらにおいても核心的な概念です。特に対偶は元の命題と常に同値（真偽値が同じ）であるため、直接の証明が難しい場合、対偶を利用した間接証明が非常に強力な道具となります。

基本命題: p → q

論理学において最も基本的な命題の形は「pならばqである (p → q)」です。

p: 前件（antecedent）、仮定
q: 後件（consequent）、結論

例：「雨が降れば（p）地面が濡れる（q）。」

逆・裏・対偶

元の命題 p → q から三つの関連命題を導出することができます。

名称	記号	形	元の命題との関係
逆（Converse）	q → p	「qならばpである」	同値ではない
裏（Inverse）	¬p → ¬q	「pでなければqではない」	同値ではない
対偶（Contrapositive）	¬q → ¬p	「qでなければpではない」	同値

核心的な関係

p → q ≡ ¬q → ¬p（元の命題 ≡ 対偶）
q → p ≡ ¬p → ¬q（逆 ≡ 裏）

重要: 元の命題とその逆は必ずしも同値ではありません。

例で理解する

元の命題：「子犬ならば（p）動物である（q）。」（p → q、真）

命題	形	真偽値
元の命題	子犬ならば動物である	真
逆	動物ならば子犬である	偽（猫も動物）
裏	子犬でなければ動物ではない	偽（猫は子犬ではないが、動物である）
対偶	動物でなければ子犬ではない	真（元の命題と同値）

→ 元の命題が真のとき、逆と裏は常に真とは限らない。 → 元の命題が真であれば対偶も必ず真。

必要条件と十分条件

命題 p → q において：

役割	定義	例
pはqの十分条件	pであればqが保証される	「子犬」であれば必ず「動物」
qはpの必要条件	qでなければpではない	「動物」でなければ「子犬」でもない

必要十分条件（Biconditional, ↔）

p ↔ q（pはqの必要十分条件、p if and only if q）：

p → qであり、かつ同時にq → p
すなわち、pならばqであり、qならばp

例：「x = 2ならば x² = 4である」（真）ところが「x² = 4ならば x = 2である」（偽 — x = -2の可能性もある）したがって「x = 2」は「x² = 4」の十分条件であるが、必要十分条件ではない。

必要条件・十分条件の暗記法

p → q のとき

p は q の十分条件 — pならqが十分に保証される
q は p の必要条件 — qがなければpもないので、qが必要

実戦問題のタイプ

問題 1: 対偶の活用

「すべての哲学者は論理を勉強する」が真であるとき、次のうち必ず真であるものはどれか。

① 論理を勉強する人はすべて哲学者である ② 論理を勉強しなければ哲学者ではない ③ 哲学者でなければ論理を勉強しない ④ 論理を勉強する哲学者がいる

解答: 元の命題：「哲学者(p) → 論理を勉強する(q)」 [真]

①: q → p（逆） → 同値ではない、必ずしも真ではない
②: ¬q → ¬p（対偶） → 元の命題と同値、必ず真 ★
③: ¬p → ¬q（裏） → 同値ではない、必ずしも真ではない
④: 元の命題から派生しているが、内容は異なる

正解: ②

問題 2: 必要・十分条件の判別

次のうち正しいものはどれか。

① 「x = 3である」は「x² = 9である」の必要十分条件である ② 「x > 0である」は「x² > 0である」の十分条件である ③ 「三角形である」は「多角形である」の必要条件である

解答:

①: x = 3 → x² = 9（真）、x² = 9 → x = 3（偽、x = -3の可能性もある） → 必要十分条件ではない
②: x > 0 → x² > 0（真） → x > 0はx² > 0の十分条件 ✓ But: x² > 0 → x > 0？偽（x = -1も x² = 1 > 0） → 必要条件ではない
③: 「三角形である」 → 「多角形である」（真） → 三角形は多角形の十分条件「多角形である」は「三角形である」の必要条件 ✓

正解: ② または ③（問題の状況により複数正解の可能性あり）

対偶を利用した間接証明

p → qを直接証明することが難しい場合、対偶 ¬q → ¬pを証明します。

例：「x²が奇数ならばxも奇数である」を証明せよ。

直接証明: 難しい（x²が奇数であるようなすべてのxを見つけることが難しい）

対偶による証明: 「xが偶数ならばx²も偶数である」

x = 2kと仮定すると、x² = (2k)² = 4k² = 2(2k²) → x²は偶数（証明完了！）

対偶 ¬q → ¬pが真であれば、元の命題 p → q も真 ✓

複合命題における逆・裏・対偶

命題が複数の条件を含む場合：

元の命題：「AかつBならばCである」 [(A ∧ B) → C]

逆：CならばAかつBである [C → (A ∧ B)]
裏：Aではないか、またはBではないならば、Cではない [¬(A ∧ B) → ¬C]
対偶：Cではないならば、Aではないか、またはBではない [¬C → ¬(A ∧ B)]

ド・モルガンの法則に注意: ¬(A ∧ B) = ¬A ∨ ¬B

逆・裏・対偶は命題論理の核心です。特に対偶は元の命題と常に同値という事実は、数学の証明からLSAT（Law School Admission Test）の論理問題、韓国の修能（大学修学能力試験）の数学に至るまで幅広く活用されます。次回の第6章（Ch6）では、量化子論理（すべての~、ある~）と全称・存在命題の否定法について扱います。