# 选言推理

> 选言三段论（Disjunctive Syllogism），也叫做析取三段论或拒取式（modus tollendo ponens，字面意思：通过否定来肯定），是一种简单而有效的论证形式，它由两个前提推出一个结论，其结构为：P或Q，非P，所以Q。也就是说，在两个选言支中否定其中一个，就可以肯定另一个，它是排除法的逻辑基础。在逻辑运算符的记号中，这一形式可以写作p ∨ q与¬p，意思是p或q为真、而p为假，并由此推出q为真。

- ID: m12487
- 分类: structure
- 领域: 逻辑学

## 定义

选言命题：P或Q。推理：从选言命题和一个选项的否定推出另一选项。脚手架作用：排除法的逻辑基础。通过排除一个选项来确定另一个选项的有效推理形式。

## 机制

由“A 或 B”且“非 A”推出“B”（选言三段论）。

## 练习

列出选言支，排除不成立者得剩余。

## 脚手架用法

排除法的逻辑基础。通过排除一个选项来确定另一个选项的有效推理形式。

[阅读网页](https://thinkingmodels.site/entries/detail/m12487)