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

[[分类:命题逻辑]]
[[分类:古典逻辑]]
{{InfoBox
|name=选言三段论
|eng_name=disjuctive syllogism
|aliases=MTP
}}
{{#seo:
|keywords=选言三段论
|description=选言三段论是古典逻辑的三段论中由选言命题和直言命题构成的推理规则：P或Q，非P，则Q。文本阐述了其在现代命题逻辑推理规则中的对应变形规则。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-09-06
}}
'''选言三段论'''('''disjunctive syllogism''')是古典逻辑中三段论下的一个小类，指“P或Q，非P，则Q”，古典逻辑中其内涵涵盖涉及一个选言命题和一个直言命题的全部推理，即[[选言推理]]下的全部范围，见对应词条。

现代这一用语指的是命题逻辑中的一个推理规则，对有多个析取项的命题，加上对其中某个析取项的否定，可以推出从原命题中排除这一项的命题。

== 符号化 ==

选言三段论这一定理通常缩写为 DS ，也使用 MTP （来自旧称 {{Lat|modus tollendo ponens}}）。命题逻辑中可符号化为对命题 <math>P,Q</math> 有[[重言式]] <math>(P \lor  Q)\land (\lnot P) \rightarrow Q</math> ，即：

<math>\vdash (P \lor  Q)\land (\lnot P) \rightarrow Q</math>

对应的推理规则也称为选言三段论。

<math>P \lor Q , \lnot P \vdash Q</math>