查看“︁选言三段论”︁的源代码

[[分类:命题逻辑定理]]
[[分类:古典逻辑]]{{DEFAULTSORT:xuan3yan2san1duan4lun4}}
{{#seo:
|keywords=选言三段论,disjunctive syllogism,DS,析取三段论,排除法
|description=选言三段论是古典逻辑的三段论中由选言命题和直言命题构成的推理规则：指出如果P或Q至少一个为真，且P为假，则可以推出Q为真。是日常所说排除法的理论依据。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-09-06
}}
{{InfoBox
|name=选言三段论
|eng-name=disjunctive syllogism
|aliases=DS,modus tollendo ponens,MTP,析取三段论
}}
'''选言三段论'''('''disjunctive syllogism''', '''DS''')是命题逻辑中的重要推理规则，指一个[[析取命题]]中，已知[[命题]]本身为真且其中一个析取支为假，则可以推出另一个析取支为真。

这一名称来自选言三段论是古典逻辑中三段论下的一个分类，指“P或Q，非P，则Q”，即涉及一个[[选言命题]]和一个[[直言命题]]的全部推理，即[[选言推理]]。

== 定理 ==

以下重言式称为'''选言三段论'''('''disjunctive syllogism''')，通常简写为 '''DS''' ：
<math>\vDash ((P \lor Q) \land \lnot P) \rightarrow Q</math>

也有等价形式：
* <math>\vDash ((P \lor Q) \land \lnot Q) \rightarrow P</math>

=== 变体 ===

选言三段论中的析取可以换为[[互斥析取]]。
<math>\vDash ((P \oplus Q) \land \lnot P) \rightarrow Q</math>

选言三段论可以推广到有更多析取支的析取命题：
<math>P_1 \lor P_2 \lor \cdots \lor P_n, \quad \lnot P_1, \quad \lnot P_2, \quad \cdots, \quad \lnot P_{n-1} \vdash P_n</math> 。

== 意义 ==

* 在[[自然演绎系统]]中，选言三段论是析取消去规则的特例：
** 完整的析取消去规则：从 <math>P \lor Q, P \rightarrow R, Q \rightarrow R \vdash R</math> 。
** 若其中 <math>R</math> 和 <math>Q</math> 取同一命题，由于 <math>\lnot P \vdash P \rightarrow Q</math> ，可以得到这个定理。
* 选言三段论在日常推理中一般称为'''排除法'''。

== 非经典逻辑中的情况 ==

* 古典逻辑中选言三段论是可证明的定理，经常作为基本的有效推理规则。
* 直觉主义逻辑同样接受选言三段论，只要有一个析取式为真且其中一个为假，就能构造性推出另一个为真。
* 多值逻辑和模糊逻辑中依赖于各个运算符的定义。