数学的論理の基礎まとめ— 議論を噛み合わせるための共通言語 —
数学的論理の基礎まとめ
— 議論を噛み合わせるための共通言語 —
こんにちはmakokonです。
この記事では、数学的論理の基礎の基礎を簡単に紹介しようと思います。
こんな記事に需要があるのかどうかわかりませんが、本当に基本的な部分で誤解が生じるのを見ると疲れてしまうので、一度まとめてみました。
きっかけとなったのは、こんな経験です。
「数学ができる人って、屁理屈ばかり言っている。」そんな会話が聞こえてきました。たしかに、「〜ならば」「〜でない」「〜または〜」とか、日常会話とは違った用法な感じですよね。
そう思って、周囲を見ていると、「そんなこと言っていなかった」「あとから条件をたさないでくださいよ」「だって同じことでしょ」みたいな会話を見かけます。
こんな会話をしているのを見たことありませんか
冒頭の経験をアレンジした会話事例です。
ちょっと極端（フィクション）ですが、以下に、論理的・数学的な言葉の定義と、散文的・日常的な言葉の解釈の不一致によって生じる「絶望的なすれ違い」の会話事例を2つほどしめします。皆さんは、どちらの立場に共感できますか？
事例1：必要条件・十分条件の取り違えと「または」の解釈
場面：新規プロジェクトの承認会議にて
論理的なA：「このプロジェクトを承認するための必要条件は、『セキュリティ審査をクリアする』または『予算を10%削減する』ことです。」
散文的なB：「わかりました！では、予算を10%削減すれば、確実にプロジェクトは承認されるんですね。しかも、その場合はセキュリティ審査は受けなくていい（排他的な『または』の解釈）ということですね。」
論理的なA：「いえ、違います。まず、それは『必要条件』なので、予算を削減しても他の理由で承認されないことはあります（十分条件との混同）。また、『または』なので、予算を削減した上でセキュリティ審査をクリアしても構いません（包含的論理和）。」
散文的なB：「え？ 予算を削ればいいって言ったじゃないですか。どっちか一つをやれば承認されるって意味ですよね？ 後出しで条件を変えないでください！」
論理的なA：「（絶望）……条件は何も変えていません。言葉の定義通りです。」
事例2：命題の「裏（逆）」の混同と否定の範囲
場面：カスタマーサポートの業務マニュアル確認にて
論理的なA：「マニュアルには『もし顧客が激怒しているならば、管理者を呼ぶ』とあります。このルールは必ず守ってください。」
散文的なB：「了解しました。（後日）……Aさん、先ほどのクレーム対応ですが、管理者は呼びませんでした。」
論理的なA：「なぜですか？ 顧客は『法的措置をとる』と静かに言っていたそうですが、重大なトラブルですよ。」
散文的なB：「だって、顧客は『激怒』していませんでしたから。激怒しているなら呼べってことは、激怒していないなら呼ばなくていいってことですよね？（命題の『裏』を真だと混同）」
論理的なA：「『激怒している⇒呼ぶ』であって、『激怒していない⇒呼ばない』とは言っていません。状況に応じて判断する前提があります。」
散文的なB：「言葉遊びはやめてください！ だったら最初から『激怒していなくても呼ぶ場合がある』って書いておいてくださいよ！」
論理的なA：「（絶望）……それは論理的に自明のことなのですが……。」
0. 基本姿勢
数学的な議論では、言葉は「雰囲気」でなく「条件」によって意味が決まります。
話が噛み合わなくなる主な原因は、能力差よりも次の不一致です。
何を前提にしているか
どこまでを否定しているか
「または」をどう解釈しているか
必要条件と十分条件を取り違えているか
命題そのものと、その逆・対偶を混同しているか
この文書では、そのズレを防ぐための最小限の基礎を整理します。
1. まず区別すべき言葉
1.1 定義
ある言葉の意味を定めるものです。
定義は、証明するものではなく、以後の議論で意味を固定するための約束です。
例：
「偶数とは、2で割り切れる整数のことである」
「素数とは、1と自分自身以外に正の約数をもたない1より大きい整数のことである」
注意：
定義に「正しい・間違い」というより、「採用する・しない」があります。
ただし、既存の概念と矛盾したり、曖昧だったりする定義は不適切です。
1.2 命題
真か偽かがはっきり定まる文です。
例：
「2は偶数である」→ 真
「5は偶数である」→ 偽
命題でないもの：
「xは偶数である」
これは x が何か決まっていないので、そのままでは真偽が決まりません。
変数を含むこの種の文は、条件文・述語とみなします。
1.3 定理
証明された重要な命題です。
例：
「素数は無限に存在する」
1.4 補題
主に他の定理を証明するために使う命題です。
内容は定理と同じく証明された命題ですが、役割が補助的です。
1.5 系
すでに証明された定理から、比較的すぐに従う命題です。
2. 「〜でない」の意味
否定は、単に反対っぽい言葉に置き換えることではありません。
もとの主張が成り立たないことを表します。
2.1 否定の基本
命題 P の否定を「Pでない」と書くとき、それは
P が真なら偽
P が偽なら真
となる命題です。
2.2 否定は「範囲」に依存する
否定は、何を対象にしているかで変わります。
例：
「xは偶数でない」
これが
x を 整数 に限るなら、「xは奇数である」と同じ
x を 実数 に広げるなら、「xは偶数である」はそもそも整数にしか使いにくい表現なので、文脈整理が必要
より分かりやすい例：
「xは正でない」
実数を対象にするなら：`x <= 0`
重要：
否定は「なんとなく反対」ではなく、前提となる範囲の中での補集合です。
2.3 否定の範囲は括弧で決まる
日本語では否定のかかる範囲が曖昧になりやすいので、数学では必要なら括弧で明示します。
`¬(P ∧ Q)` ：「PかつQ」ではない
`(¬P) ∧ Q` ：「Pではなく、かつQである」
この2つは別物です。
3. 「かつ」と「または」
命題 P, Q に対して：
3.1 かつ（AND）
`P ∧ Q`
PもQも両方成り立つこと。
例：
「xは偶数で、かつ3の倍数である」
これは、両方満たしてはじめて真です。
3.2 または（OR）
`P ∨ Q`
数学では通常、少なくとも一方が成り立つことを意味します。
つまり、両方成り立つ場合も含みます。
例：
「xは2の倍数、または3の倍数である」
2の倍数だけでも真
3の倍数だけでも真
6の倍数のように両方でも真
注意：
日常語では「AまたはB」が「どちらか一方だけ」に聞こえることがあります。
数学では、特に断らない限り 両方含む と考えます。
「どちらか一方だけ」を言いたいなら、明示して
「AまたはBのいずれか一方」
「排他的または」
などと書きます。
4. 「かつ」と「または」の否定
ここは誤解が非常に多い部分です。
4.1 「かつ」の否定
`¬(P ∧ Q)` は
`(¬P) ∨ (¬Q)` と同じです。
日本語で言えば：
「PかつQではない」
「Pでない、またはQでない」
例：
「xは偶数で、かつ3の倍数である」の否定は
「xは偶数でない、または3の倍数でない」
注意：
これは
「xは偶数でない、かつ3の倍数でない」
ではありません。
「両方満たすわけではない」というだけなので、片方だけ満たす場合は含まれます。
4.2 「または」の否定
`¬(P ∨ Q)` は
`(¬P) ∧ (¬Q)` と同じです。
日本語で言えば：
「PまたはQではない」
「Pでもなく、Qでもない」
例：
「xは2の倍数、または3の倍数である」の否定は
「xは2の倍数でもなく、3の倍数でもない」
4.3 まとめ
`¬(P ∧ Q) ≡ ¬P ∨ ¬Q`
`¬(P ∨ Q) ≡ ¬P ∧ ¬Q`
これを ド・モルガンの法則 といいます。
5. 「ならば」の意味
5.1 基本
`P → Q`
「PならばQ」とは、
Pが成り立つなら、そのとき必ずQも成り立つという意味です。
これは、
P：仮定
Q：結論
という関係を表します。
5.2 重要な見方
「PならばQ」が偽になるのは、ただ1つ：
Pが真なのに、Qが偽
このときだけです。
それ以外は真です。
5.3 なぜそうなるのか
「PならばQ」は、
Pであるものは、Qであるものの中に含まれる
という意味だと思うと分かりやすいです。
例：
「6の倍数ならば偶数である」
これは
6の倍数の集合 ⊆ 偶数の集合
という主張です。
6の倍数であるのに偶数でないものが1つでもあれば、この命題は偽です。
逆に、それがなければ真です。
5.4 よくある誤解
「Pでないとき」の扱いに違和感を持ちやすいですが、
`P → Q` は Pの場合についての約束 です。
Pでない場合は、この約束を破っていません。
6. 逆・裏・対偶
もとの命題を `P → Q` とします。
「ＰならばＱ」
6.1 逆
`Q → P`
「ＱならばＰ」
6.2 裏
`¬P → ¬Q`
「ＰでなければＱでない」
6.3 対偶
`¬Q → ¬P`
「ＱでなければＰでない」
6.4 何が同値で、何が同値でないか
必ず同値なのは、元の命題と対偶だけです。
`P → Q` と `¬Q → ¬P` は同値
一方、
逆 `Q → P`
裏 `¬P → ¬Q`
は、一般には元の命題と同値ではありません。
（なお、逆と裏はそれぞれ待遇の関係になっていて同値となります。）
6.5 例
命題：
「6の倍数ならば偶数である」
これは真です。
対偶：
「偶数でないならば、6の倍数ではない」
これも真です。
逆：
「偶数ならば6の倍数である」
これは偽です。
たとえば 2 は偶数ですが6の倍数ではありません。
7. 必要条件・十分条件
`P → Q` のとき：
P は Q の 十分条件
Q は P の 必要条件
です。
7.1 意味
「PならばQ」
P があれば Q は必ず起こる
→ P は Q にとって十分Q がないと P は成り立てない
→ Q は P にとって必要
7.2 例
「6の倍数ならば偶数である」
このとき
「6の倍数である」は「偶数である」ための十分条件
「偶数である」は「6の倍数である」ための必要条件
7.3 必要十分条件
`P → Q` かつ `Q → P` が両方成り立つとき、
P は Q の必要十分条件
P と Q は同値
といいます。
記号では `P ↔ Q` と書きます。
例：
「整数 n が偶数である」
「n = 2k と書ける整数 k が存在する」
この2つは同値です。
8. 全称と存在
否定の範囲を正確に扱うには、これも重要です。
8.1 全称
「すべての x について P(x) が成り立つ」
記号では：
`∀x P(x)`
8.2 存在
「ある x が存在して、P(x) が成り立つ」
記号では：
`∃x P(x)`
8.3 否定
ここでも否定はかかる範囲が重要です。
`¬(∀x P(x))` は `∃x ¬P(x)`
`¬(∃x P(x))` は `∀x ¬P(x)`
8.4 例
「すべての学生が提出した」の否定は
「ある学生は提出していない」
注意：
「すべての学生が提出した」の否定は
「すべての学生が提出していない」
ではありません。
ここは日常会話でも誤解が起こりやすい箇所です。
9. よくある混同
9.1 「Aでない」は「反対語」ではない
「大きい」の否定は「小さい」ではなく、「大きくない」
中間があるかもしれません
9.2 「または」は両方を含む
数学では
A または B
はA
B
AかつB
のすべてを含みます
9.3 「PならばQ」から「QならばP」は出ない
これが逆の誤りです。
9.4 「必要」と「十分」は逆向きに感じやすい
`P → Q` のとき
P が十分
Q が必要
です。
ここは意識して覚える必要があります。
9.5 否定の位置を曖昧にしない
日本語では
「AでなくB」
「AかつBでない」
などが曖昧になりやすいので、
数学的な議論では括弧や言い換えで明示するのが安全です。
10. 議論を噛み合わせるための確認項目
議論がずれるときは、次を確認すると改善しやすくなります。
対象は何か
整数か、実数か、全員か、一部か何を命題としているか
真偽が定まる形になっているか否定はどこまでにかかるか
1語だけか、文全体か「または」は両方を含むか
数学では通常含む必要条件と十分条件を取り違えていないか
元の命題と、逆・裏・対偶のどれを話しているか
定義と定理を混同していないか
定義は意味の固定、定理は証明された主張
11. 最小まとめ
定義：言葉の意味を決めるもの
命題：真偽が定まる文
定理：証明された重要な命題
補題：定理を支える命題
系：定理からすぐ従う命題
`¬P`：Pの否定
`P ∧ Q`：PかつQ
`P ∨ Q`：PまたはQ（両方含む）
`P → Q`：PならばQ
`¬(P ∧ Q) ≡ ¬P ∨ ¬Q`
`¬(P ∨ Q) ≡ ¬P ∧ ¬Q`
`P → Q` と `¬Q → ¬P` は同値
`Q → P` は一般には別物
`P → Q` のとき
P は Q の十分条件
Q は P の必要条件
12. ひとことで言えば
数学的論理では、
言葉の意味を固定し、否定の範囲を明確にし、条件の向きを混同しないこと
が、議論を成立させる核心です。