析取三段论 vs 假言三段论

概述

析取三段论与假言三段论是直言三段论在命题逻辑层面的两种扩展形式，分别基于析取命题和条件命题进行推理，且可以组合使用构成更复杂的论证（如二难推论）。

共同点

1. 都是直言三段论的扩展形式：两者都超出了词项逻辑的范畴，进入命题逻辑领域，但与直言三段论一样都是演绎论证的基本形式
2. 都是演绎推理：有效形式保证前提真则结论必真，具有保真性
3. 都在日常论证中广泛使用：自然语言中的大量论证可以化归为析取三段论或假言三段论的形式
4. 都是第7章的核心内容：作为日常语言论证分析的重要工具，两者都是第8章命题逻辑的前置知识

关键区别

维度	析取三段论	假言三段论
基础命题类型	基于析取命题（“p 或 q”）	基于条件命题（“如果 p 则 q”）
有效形式数量	1 种有效形式（否定后件式）	4 种有效形式（纯假言三段论 + 假言三段论的肯定前件式 + 否定后件式）
无效形式	1 种无效形式（肯定析取命题的一支）	2 种无效形式（否定前件式 + 肯定后件式）
推理方向	通过否定来肯定（排除法）	可通过肯定前件来肯定后件，或通过否定后件来否定前件
与第8章关系	为命题逻辑中的析取推理奠定基础	为命题逻辑中的条件推理奠定基础
日常使用频率	常用于”排除其他可能性”的论证	常用于”因果推断”和”条件预测”的论证

有效形式速查

析取三段论：

• 有效：$p\vee q,\neg p,\therefore q$（否定后件式）
• 无效：$p\vee q,p,\therefore \neg q$（肯定析取支——析取命题不要求互斥）

假言三段论：

• 有效（纯假言）：$p\to q,q\to r,\therefore p\to r$
• 有效（肯定前件式）：$p\to q,p,\therefore q$
• 有效（否定后件式）：$p\to q,\neg q,\therefore \neg p$
• 无效（否定前件式）：$p\to q,\neg p,\therefore \neg q$
• 无效（肯定后件式）：$p\to q,q,\therefore p$

深层联系

组合使用：二难推论

析取三段论和假言三段论并非彼此独立，它们可以组合使用，构成更复杂的论证形式。最典型的例子就是二难推论：

• 二难推论的条件前提来自假言三段论的推理规则（肯定前件式或否定后件式）
• 二难推论的析取前提来自析取三段论的推理结构
• 例如，简单构成式二难推论 $p\to r,q\to r,p\vee q,\therefore r$ 同时使用了假言推理和析取推理

这说明命题逻辑中的不同推理形式可以像”积木”一样组合，构建出越来越复杂的有效论证。

互为补充的推理策略

在日常论证分析中，析取三段论和假言三段论往往互为补充：

• 当需要排除可能性时，使用析取三段论（“不是A就是B，不是A，所以是B”）
• 当需要建立条件关系时，使用假言三段论（“如果A则B，A成立，所以B成立”）
• 两者结合可以实现"条件限定 + 排除筛选"的双重论证策略

参见

• 析取三段论 — 基于析取命题的推理形式
• 假言三段论 — 基于条件命题的推理形式
• 二难推论 — 析取与假言推理的组合形式
• 直言三段论 — 两种三段论在词项逻辑层面的基础形式