假言三段论

概述

假言三段论（Hypothetical Syllogism）：如果 $P$ 蕴涵 $Q$，且 $Q$ 蕴涵 $R$，则 $P$ 蕴涵 $R$。它是命题逻辑中最基本的推理规则之一，表达了条件关系的传递性。

定理陈述

形式化陈述

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

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

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

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

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

各项说明：

• $\to$（或 $\supset$）：实质蕴涵，$P\to Q$ 仅在 $P$ 为真而 $Q$ 为假时为假
• $⊢$：语法推导关系，表示从左边的前提可以推出右边的结论
• 假言三段论可以推广到任意有限步的链式推理：$P_1\to P_2,P_2\to P_3,\dots ,P_{n-1}\to P_n⊢P_1\to P_n$

证明概要

证明思路（真值表验证 + 自然演绎证明）

方法一：真值表验证

构造 $P$、$Q$、$R$ 三个命题的完备真值表（共8行），验证当两个前提都为真时结论是否必然为真。

$P$	$Q$	$R$	$P\to Q$	$Q\to R$	$P\to R$
T	T	T	T	T	T
T	T	F	T	F	—
T	F	T	F	—	—
T	F	F	F	—	—
F	T	T	T	T	T
F	T	F	T	F	—
F	F	T	T	T	T
F	F	F	T	T	T

仅考察两个前提都为真的行（第1、5、7、8行），在这些行中 $P\to R$ 均为真。不存在前提为真而结论为假的行，故论证有效。

方法二：自然演绎证明

1. P → Q          前提
2. Q → R          前提
3. | P            假设（条件证明）
4. | Q            1, 3, 肯定前件（MP）
5. | R            2, 4, 肯定前件（MP）
6. P → R          3-5, 条件证明（CP）

证毕。$■$

关键推论

• 推论1（链式推理的一般化）：假言三段论可以推广到任意长度的条件链：$P_1\to P_2,P_2\to P_3,\dots ,P_{n-1}\to P_n⊢P_1\to P_n$。这是 连锁三段论 的理论基础。
• 推论2（传递性的逻辑表达）：假言三段论本质上是实质蕴涵关系的传递性，类似于数学中”大于”关系的传递性（$a>b,b>c\Rightarrow a>c$）。
• 推论3（与肯定前件的关系）：假言三段论的证明依赖于两次应用肯定前件（Modus Ponens），因此肯定前件是更基本的推理规则。

应用场景

1. 数学证明：在数学推理中广泛使用。例如”若 $x>5$ 则 $x>3$，若 $x>3$ 则 $x^2>9$，因此若 $x>5$ 则 $x^2>9$”。
2. 日常推理：例如”如果下雨，地面就会湿；如果地面湿，比赛就会取消；所以如果下雨，比赛就会取消”。
3. 计算机科学：在程序验证中，假言三段论用于推导程序性质的前置条件和后置条件之间的蕴含关系。
4. 形式证明系统：在 自然演绎 中，假言三段论是19个基本推论规则之一，编号为 HS（Hypothetical Syllogism）。

参见

• 实质蕴涵 — 假言三段论中使用的核心联结词
• 真值函项性 — 真值表验证的理论基础
• 推论规则 — 假言三段论作为基本推理规则的地位
• 自然演绎 — 自然演绎系统中的形式证明
• 连锁三段论 — 假言三段论的链式推广
• 析取三段论 — 与假言三段论并列的基本推理形式