第1章：命題論理における「ならば」の定義

――実質含意（Material Implication）という思考の規律

1.1 命題：論理の宇宙を形作る「真理の担い手」

数学的な「if（ならば）」を定義する前に、私たちはその「if」が結びつける対象そのものを、極めて厳密に定義しなければならない。それが「命題（Proposition）」である。

日常言語における「文（Sentence）」は多義的である。「明日は晴れるだろうか」という疑問文、「窓を閉めなさい」という命令文、「なんて美しい夕焼けだろう」という感嘆文。これらはどれも意味を伝える言葉の塊であるが、数学的論理の対象にはなり得ない。論理の対象となる命題とは、「客観的に真（True）または偽（False）のいずれか一方のみが定まる言明」を指す。

この定義には、現代数学の根幹を成す二つの重要な決断が隠されている。

第一に、「客観性」である。「このリンゴは美味しい」という文は、食べる人の主観に依存するため、命題ではない。数学が命題という言葉を使うとき、そこには主観の入る余地を徹底的に排除するという意志が込められている。

第二に、「二値性（Bivalence）」である。古典論理において、命題は「真」か「偽」かのどちらか一方であり、その中間や、どちらでもない状態を認めない。この「排中律（Law of Excluded Middle）」こそが、数学的「if」を機能させるための、透明で頑強な舞台装置となる。

私たちが「もし $P$ ならば $Q$」と言うとき、この $P$ と $Q$ は、もはや情緒的な意味内容を持った言葉ではなく、真（1）か偽（0）かという「色」だけを持った抽象的な原子として扱われる。この原子を繋ぐ「ならば（$⟹$）」という記号は、二つの原子の色を混ぜ合わせ、新しい一つの色を決定するための「演算子」なのである。

1.2 実質含意（Material Implication）の定義

数学において、「もし $P$ ならば $Q$」という関係は「実質含意（Material Implication）」と呼ばれる。記号では $P⟹Q$、あるいは論理学の伝統に従い $P\to Q$ と表記される。

この演算子の正体を最も簡潔、かつ残酷に描き出すのが、以下の真理値表（Truth Table）である。

$P$ (前件)	$Q$ (後件)	$P⟹Q$ (全体)
真 (T)	真 (T)	真 (T)
真 (T)	偽 (F)	偽 (F)
偽 (F)	真 (T)	真 (T)
偽 (F)	偽 (F)	真 (T)

この表は、現代数学における「if」のすべてのルールを規定している。特に、第3行と第4行、すなわち「前件 $P$ が偽である場合、後件 $Q$ が何であろうとも、命題全体は真となる」というルールは、多くの学習者を困惑させる。

1.3 なぜ「前件が偽ならば真」なのか：論理的整合性の守護者

この定義、すなわち「前件が偽のときに真となる（Vacuously True）」という事実は、論理学を学び始めた者が直面する最大の難所である。なぜ数学者はこのような定義を採用したのか。

1.3.1 「約束」のメタファー

あなたが「もし明日が晴れならば、ピクニックに行こう」と友人と約束したとする。

1. 明日が晴れ（T）で、ピクニックに行った（T）： 約束は守られた（真）。
2. 明日が晴れ（T）なのに、ピクニックに行かなかった（F）： 約束は破られた（偽）。
3. 明日が雨（F）だった場合： あなたがピクニックに行こうが行くまいが、あなたは「約束を破った」ことにはならない。

数学的な「if」は、この「約束が破られたかどうか」のみを厳格に判定する。反例（前提が満たされているのに、結論が裏切られるケース）が示されない限り、論理は「真」であるという立場をとるのである。

1.3.2 公理系の一貫性

数学の定理はしばしば「すべての数 $x$ について、もし $P(x)$ ならば $Q(x)$」という形をとる。 例えば、「すべての実数 $x$ について、もし $x>2$ ならば $x^2>4$ である」という定理を考える。 ここで $x=0$ を代入すると、前件は「$0>2$（偽）」となる。もし前件が偽のときに命題全体を「真」としなかったならば、この $x=0$ という無関係なケースのせいで、正しいはずの定理全体が「偽」になってしまう。

数学における「if」は、前提を満たさないケースを「無害な真」として自動的に処理することで、体系の一般性と美しさを守っているのである。

1.4 実質含意のパラドックス：論理と心理の乖離

この定義によれば、以下の命題はすべて数学的に「真」となる。

• 「もし雪が黒いならば、2は素数である。」（前件が偽）
• 「もしエベレストが世界一高いならば、リンゴは果物である。」（前件も後件も真だが、無関係）

日常言語において、私たちは $P⟹Q$ と言うとき、そこには因果関係や関連性を期待する。しかし、数学の命題論理はこれを一切考慮しない。この「意味の剥離」こそが、数学が主観から脱却し、計算機のような客観性を手に入れるための代償であった。

1.5 Ex Falso Quodlibet：偽からは何でも導かれる

中世の論理学者は、前件が偽である $P⟹Q$ が真であるという性質を “Ex Falso Quodlibet”（偽からは何でも導かれる） と呼んだ。

もし、ある数学的体系の中に一つでも「矛盾（偽）」を認めてしまったらどうなるか。この原則によれば、その体系内では「あらゆる命題」が真として証明可能になってしまう。$1=0$ も真となり、数学という学問自体が意味をなさなくなる。数学における「if」の定義は、この極限状態を記述し、数学という伽藍を一つの嘘によって崩壊させないための「隔離壁」の役割を果たしているのである。

1.6 認知のバイアス：ウェイソン選択課題

人間の脳は、数学的な「if」を処理するようには進化してこなかった。心理学者ピーター・ウェイソンによる「4枚カード問題」は、私たちの脳が「逆」や「裏」を信じてしまう確証バイアスを浮き彫りにした。

数学を学ぶということは、この数百万年の進化によって刻み込まれた「脳の癖」を自覚し、それを否定して「論理の型」を強制的にインストールする、自己改造のプロセスに他ならない。

1.7 第1章の結語：思考の「骨格」としての iff

第1章を通じて、私たちは数学という帝国の「憲法」を見てきた。数学における「if」は、因果関係を捨て、真理値の一貫性のみを選び取った。この決断こそが、数学を宇宙共通の普遍的な知性へと昇華させたのである。

次章では、この「if」という矢印が持つ「方向性」――必要条件と十分条件の非対称性について詳しく見ていくことにしよう。