选言三段论

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

P或Q

非P

所以Q

在逻辑运算符记号中：

${\displaystyle p\veebar q}$，

¬ ${\displaystyle p\quad }$

${\displaystyle \vdash q}$

这里的${\displaystyle \vdash }$表示逻辑断言。

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

一个例子：

我要么选择汤要么选择沙拉。

我不选择汤。

所以，我选择沙拉。

另一个例子：

要么小王赢要么小张赢。

小王没有赢。

所以，小张赢了。