析取三段论

概述

析取三段论（Disjunctive Syllogism）：如果两个命题中至少有一个为真（析取），而其中之一为假（被否定），则另一个必为真。它是命题逻辑中最直观也最常用的推理规则之一。

定理陈述

形式化陈述

定理（析取三段论）：设 $P$、$Q$ 为任意命题，则

$P\vee Q,\neg P⊢Q$

$P\vee Q,\neg Q⊢P$

即从前提”$P$ 或 $Q$“和”非 $P$“，可以有效地推出"$Q$"；对称地，从”$P$ 或 $Q$“和”非 $Q$“可以推出"$P$"。

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

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

各项说明：

• $\vee$：相容析取（逻辑或），$P\vee Q$ 在 $P$ 和 $Q$ 至少一个为真时为真（包括两者都为真的情况）
• $\neg$：否定（逻辑非），将命题的真值取反
• 析取三段论要求析取是相容析取（inclusive disjunction），而非不相容析取（exclusive disjunction）

证明概要

证明思路（真值表验证）

核心思想

通过穷举 $P$ 和 $Q$ 的所有真值组合（共4种），验证当两个前提都为真时结论是否必然为真。

详细步骤

第一步：构造真值表

$P$	$Q$	$P\vee Q$	$\neg P$	$Q$（结论）
T	T	T	F	—
T	F	T	F	—
F	T	T	T	T
F	F	F	T	—

仅考察两个前提 $P\vee Q$ 和 $\neg P$ 都为真的行（第3行），在该行中结论 $Q$ 为真。不存在前提为真而结论为假的行，故论证有效。

第二步：对称性验证

$P$	$Q$	$P\vee Q$	$\neg Q$	$P$（结论）
T	T	T	F	—
T	F	T	T	T
F	T	T	F	—
F	F	F	T	—

仅考察两个前提 $P\vee Q$ 和 $\neg Q$ 都为真的行（第2行），在该行中结论 $P$ 为真。论证有效。

第三步：自然演绎证明

1. P ∨ Q          前提
2. ¬P             前提
3. | P            假设（析取消解）
4. | Q            2, 3, 矛盾（从P和¬P得矛盾，由爆炸原理得Q）
5. | Q            假设（析取消解）
6. Q              1, 3-4, 5-5, 析取消解

证毕。$■$

关键推论

• 推论1（与不相容析取的关系）：在不相容析取 $P\underline{\vee }Q$（$P$ 或 $Q$ 恰有一个为真）下，析取三段论同样成立，但此时从 $P\underline{\vee }Q$ 和 $P$ 也能推出 $\neg Q$，这是相容析取下不成立的推理。
• 推论2（与De Morgan定律的联系）：析取三段论可以看作 De Morgan 定理的推论——$\neg P$ 与 $P\vee Q$ 结合，利用 De Morgan 定律可得 $\neg P\wedge (P\vee Q)\equiv (\neg P\wedge P)\vee (\neg P\wedge Q)\equiv \neg P\wedge Q$，从而推出 $Q$。
• 推论3（反证法的核心步骤）：在间接证明中，析取三段论常用于从多个可能性中排除错误选项，从而确定正确的结论。

应用场景

1. 排除法推理：在日常和科学推理中广泛使用。例如”嫌疑人要么是A要么是B；已证实不是A；所以嫌疑人是B”。
2. 故障诊断：在工程诊断中，“故障原因要么是硬件要么是软件；硬件检测正常；所以故障在软件”。
3. 形式证明系统：在 自然演绎 中，析取三段论是基本推论规则之一，编号为 DS（Disjunctive Syllogism）。
4. 二难推论的构造：析取三段论是 二难推论 的简单构成式的关键推理步骤。

参见

• 真值函项性 — 析取三段论的真值表验证基础
• 推论规则 — 析取三段论作为基本推理规则的地位
• 自然演绎 — 自然演绎系统中的形式证明
• 假言三段论 — 与析取三段论并列的基本推理形式
• 二难推论 — 依赖析取三段论的复合推理形式
• 重言式与矛盾式 — 析取三段论对应的重言式