二难推论构成规则

概述

二难推论构成规则（Constructive Dilemma）：如果两个条件命题的前件中至少有一个成立（析取），而每个前件都分别蕴涵同一个后件，则该后件成立。它是假言三段论与析取三段论的组合运用，是处理”两难处境”逻辑结构的核心推理规则。

定理陈述

形式化陈述

定理（二难推论——简单构成式）：设 $P$、$Q$、$R$ 为任意命题，则

$P\to R,Q\to R,P\vee Q⊢R$

即从前提”$P$ 蕴涵 $R$”、”$Q$ 蕴涵 $R$“和”$P$ 或 $Q$“，可以有效地推出"$R$"。

等价地，以下命题形式是重言式：

$[(P\to R)\wedge (Q\to R)\wedge (P\vee Q)]\to R$

复杂构成式（Complex Constructive Dilemma）：

$P\to R,Q\to S,P\vee Q⊢R\vee S$

各项说明：

• 简单构成式：两个条件命题的后件相同（都是 $R$），结论是一个简单命题
• 复杂构成式：两个条件命题的后件不同（$R$ 和 $S$），结论是它们的析取
• “二难”的含义：面对两个选择（$P$ 或 $Q$），无论选择哪个都会导致（可能不愉快的）结果

证明概要

证明思路（假言三段论 + 析取三段论组合）

核心思想

二难推论的简单构成式可以分解为两个已知的有效推理规则的组合应用。

详细步骤

第一步：利用假言三段论建立传递关系

从 $P\to R$ 和 $Q\to R$，我们有两个独立的蕴涵关系，分别将 $P$ 和 $Q$ 连接到 $R$。

第二步：利用析取三段论消解前件

已知 $P\vee Q$（$P$ 和 $Q$ 至少一个为真），分两种情况讨论：

• 情况1：$P$ 为真。由 $P\to R$ 和肯定前件（Modus Ponens），得 $R$。
• 情况2：$Q$ 为真。由 $Q\to R$ 和肯定前件（Modus Ponens），得 $R$。

由于 $P\vee Q$ 保证了至少一种情况成立，而两种情况下都能推出 $R$，故 $R$ 必然为真。

第三步：形式化证明（自然演绎）

1. P → R          前提
2. Q → R          前提
3. P ∨ Q          前提
4. | P            假设（析取消解）
5. | R            1, 4, MP（肯定前件）
6. | Q            假设（析取消解）
7. | R            2, 6, MP（肯定前件）
8. R              3, 4-5, 6-7, 析取消解

第四步：复杂构成式的证明

复杂构成式 $P\to R,Q\to S,P\vee Q⊢R\vee S$ 的证明类似，只是在每种情况下推出不同的后件，最终取析取：

1. P → R          前提
2. Q → S          前提
3. P ∨ Q          前提
4. | P            假设
5. | R ∨ S        1, 4, MP + 析取引入
6. | Q            假设
7. | R ∨ S        2, 6, MP + 析取引入
8. R ∨ S          3, 4-5, 6-7, 析取消解

证毕。$■$

关键推论

• 推论1（简单破坏式）：二难推论还有破坏式（Destructive Dilemma）：$P\to R,Q\to S,\neg R\vee \neg S⊢\neg P\vee \neg Q$。通过否定后件来否定前件的析取。
• 推论2（与实质蕴涵定义的联系）：利用 $P\to R\equiv \neg P\vee R$，简单构成式可改写为 $(\neg P\vee R)\wedge (\neg Q\vee R)\wedge (P\vee Q)⊢R$，这揭示了二难推论本质上是析取和合取的分配律应用。
• 推论3（多难推论的推广）：二难推论可以推广到”三难”、“四难”等：$P_1\to R,P_2\to R,\dots ,P_n\to R,P_1\vee P_2\vee \cdots \vee P_n⊢R$。

应用场景

1. 日常论证：经典的”二难处境”论证——“如果坦白，你会坐牢；如果不坦白，你也会坐牢；你要么坦白要么不坦白；所以你会坐牢”。
2. 决策分析：在决策理论中，当所有可选方案都导向相同（或类似）结果时，二难推论帮助我们确认该结果的必然性。
3. 法律论证：在法律推理中，“如果行为构成A罪则应受罚，如果构成B罪也应受罚；行为要么构成A罪要么构成B罪；所以应受罚”。
4. 伦理学讨论：著名的”电车难题”等伦理困境可以用二难推论的形式结构来分析。

参见

• 二难推论 — 二难推论的完整介绍（包括构成式和破坏式）
• 假言三段论 — 二难推论的理论基础之一
• 析取三段论 — 二难推论的理论基础之二
• 推论规则 — 二难推论作为基本推理规则的地位
• 实质蕴涵 — 二难推论中条件命题的语义基础