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

'''选言三段论'''(Disjunctive Syllogism)，也叫做'''析取三段论'''或'''拒取式'''（{{lang|la|modus tollendo ponens}}，字面意思：通过否定来肯定）是[[有效的]]简单的[[论证形式]]：

: P或Q
:非P
:所以Q

在[[逻辑运算符]]记号中：
:<math> p \veebar q</math>，
:¬ <math> p \quad</math>
:<math> \vdash q </math>
这里的<math>\vdash</math>表示[[逻辑断言]]。

粗略的，我们可以说一个或另一个是真；接着我们可以说一个不是真；那么我们可以推导出另一个必须是真。这种推理叫做"选言三段论"，就是说，首先它是[[三段论]]--三个步骤的论证--其次它包含一个[[析取式]]，它简单的意味着一个"或"陈述。"要么P要么Q"是一个析取式；P和Q叫做这个陈述的''离析项''（{{lang|en|disjunct}}）。

一个例子：
:我要么选择汤要么选择沙拉。
:我不选择汤。
:所以，我选择沙拉。

另一个例子：
:要麼小王赢要麼小张赢。
:小王没有赢。
:所以，小张赢了。

==包容的与排斥的析取式==

应当注意到有两种逻辑析取是重要的：

* ''[[逻辑析取|包容的]]''意味着"与/或"，这里至少有一个项是真，它们可以都是真。
* ''[[xor|排斥的]]''（“异或”）意味着必须有一个是真而另一个是假。两项不能都为真也不能都为假。

通俗英语的''或''的概念经常在这两种意思之间不明确，但是这种区别在评估析取论证的时候是关键的。

这个论证：
:P或Q.
:非P.
:所以Q.

是有效的并且没有在两种意义之间是有区别的。但是，下列论证只有在''排斥的''意义上才是有效的：

:P或Q（排斥的）。
:P.
:所以，非Q。

对于''包容的''意义你从论证的前两个前提不能得出任何结论。参见[[肯定离析项]]。

==有关的论证形式==

不像[[肯定前件]]和[[否定后件]]，不应与之混淆，拒取式经常不作为逻辑系统的明确的规则或公理，因为上述论证可以使用（略微迂回了一些的）[[反证法]]和[[析取除去]]的组合来完成。

拒取式不应该混淆于[[肯定后件]]。

==外部链接==

* [https://web.archive.org/web/20051024121208/http://logik.phl.univie.ac.at/~chris/beispielskriptum/node7.html Proof of MTP]
* 陳力恒：〈[https://web.archive.org/web/20091228050122/http://www.thinkerspace.com/node/504 如言、選言發微]〉

{{三段论}}

[[Category:推理规则]]