論理推論: 陽化師論理 - 「すべて」と「どんな」の否定と活用

「すべての人は死ぬ。」「ある鳥は飛べない。」――こうした文には量化子（quantifier）が含まれています。量化子とは、「どれくらいの対象について語っているのか」を表す論理的装置です。量化子の論理を理解すれば、複雑な推論問題で正しい否定を見つけ出し、論理的誤謬を正確に指摘することができます。

2つの中心的な量化子

全称量化子（Universal Quantifier, ∀）

記号: ∀ （“for all”、すべて）

∀x P(x): 「すべての x について P(x) が成立する」

自然言語表現:

• 「すべての〜は〜である」
• 「〜は常に〜である」
• 「いかなる〜も（否定文で）」

例:

• ∀x (xが人 → xは死ぬ) = 「すべての人は死ぬ」
• 「すべての素数は1より大きい」

存在量化子（Existential Quantifier, ∃）

記号: ∃ （“there exists”、存在する）

∃x P(x): 「P(x) が成立する x が少なくとも1つ存在する」

自然言語表現:

• 「ある〜は〜である」
• 「〜な〜がある」
• 「少なくとも1つの〜は〜である」

例:

• ∃x (xが鳥 ∧ xは飛べない) = 「飛べない鳥がいる」
• 「ある整数は負数である」

量化子命題の否定：核心のルール

これが試験で最も頻繁に間違えられる部分です。

全称命題の否定

$$\neg (\forall x P(x)) = \exists x \neg P(x)$$

「すべての x について P(x)」の否定は「P(x) でない x が存在する」

例:

• もとの命題: 「すべての学生が試験に合格した」
• 否定: 「試験に合格しなかった学生がいる」（少なくとも1人）

誤った否定: 「どの学生も試験に合格しなかった」 → これは強すぎる否定

存在命題の否定

$$\neg (\exists x P(x)) = \forall x \neg P(x)$$

「P(x) である x が存在する」の否定は「すべての x について P(x) でない」

例:

• もとの命題: 「飛べない鳥がいる」
• 否定: 「すべての鳥は飛ぶことができる」

誤った否定: 「ある鳥は飛ぶことができる」 → もとの命題と矛盾しない（どちらも真でありうる）

自然言語における量化子の変換

試験では記号ではなく自然言語で出題されるため、以下の変換表を熟知してください。

全称表現

自然言語	論理構造
「すべての A は B である」	∀x (Ax → Bx)
「A は常に B である」	∀x (Ax → Bx)
「A ならば必ず B である」	∀x (Ax → Bx)
「A でありながら B でないものはない」	∀x (Ax → Bx)

存在表現

自然言語	論理構造
「ある A は B である」	∃x (Ax ∧ Bx)
「B である A がある」	∃x (Ax ∧ Bx)
「少なくとも1つの A は B である」	∃x (Ax ∧ Bx)

注意: 「すべての A は B である」は A → B（条件）ですが、「ある A は B である」は A ∧ B（連言）です！

否定の実戦練習

問題 1

次の正しい否定を選びなさい。 「すべての会員は会費を納付した。」

① どの会員も会費を納付しなかった ② 会費を納付していない会員がいる ③ ある会員は会費を納付した ④ 会費を納付した会員がいる

解法: ∀x (会員(x) → 納付(x)) の否定 = ∃x (会員(x) ∧ ¬納付(x)) = 「納付していない会員がいる」

正解: ②

問題 2

次の正しい否定を選びなさい。 「一部の従業員は残業をした。」

① すべての従業員が残業をした ② どの従業員も残業をしなかった ③ 残業をしなかった従業員がいる ④ 一部の従業員は残業をしなかった

解法: ∃x (従業員(x) ∧ 残業(x)) の否定 = ∀x (従業員(x) → ¬残業(x)) = 「すべての従業員は残業をしなかった」 = 「どの従業員も残業をしなかった」

正解: ②

三段論法と量化子

全称命題を用いた古典的三段論法：

大前提: すべての A は B である [∀x (Ax → Bx)] 小前提: c は A である [Ac] 結論: したがって c は B である [Bc]

例:

• 大前提: すべての哺乳類は心臓がある
• 小前提: クジラは哺乳類である
• 結論: したがってクジラは心臓がある

逆三段論法の誤謬（Invalid Syllogism）

次のは論理的な誤謬です：

大前提: すべての A は B である 小前提: c は B である 結論: したがって c は A である ← 誤謬！（前件肯定の誤謬とは異なる）

例:

• すべての犬は動物である
• 猫は動物である
• したがって猫は犬である ← 偽！

これは後件肯定の誤謬（Affirming the Consequent）です。

量化子否定の要約表

$$\begin{aligned} \neg (\text{すべての} A \text{は} B \text{である}) &= \text{ある} A \text{は} B \text{ではない}（B \text{でない} A \text{が存在}） \\ \neg (\text{ある} A \text{は} B \text{である}) &= \text{すべての} A \text{は} B \text{ではない}（B \text{である} A \text{はいない}） \\ \neg (A \text{ならば} B \text{である}) &= A \text{であるが} B \text{でない場合がある} \end{aligned}$$

LSATスタイル・ヒント: 命題の正しい否定を問う問題において、「すべて」 ↔ 「ある〜ではない」の変換を正確に把握することが核心です。

---

量化子の論理は、哲学、数学、法学（LSAT）、言語学のすべてにおいて核心的なツールです。「すべて」の否定は「ある〜ではない」であり、「ある」の否定は「すべての〜ではない」であることを絶対に忘れないでください。次回の第7章（Ch7）では、背理法（Proof by Contradiction）と数学的帰納法という、証明のための2つの強力な武器を扱います。