选言三段论 选言三段论Disjunctive Syllogism也叫做析取三段论或拒取式modus tollendo ponens字面意思通过否定来肯定是有效的简单的论证形式 P或Q 非P 所以Q 在逻辑运算符记号中 p  q displaystyle pveebar q   p displaystyle pquad   q displaystyle vdash q 这里的  displaystyle vdash  表示逻辑断言 粗略的我们可以说一个或另一个是真接着我们可以说一个不是真那么我们可以推导出另一个必须是真这种推理叫做选言三段论就是说首先它是三段论三个步骤的论证其次它包含一个析取式它简单的意味着一个或陈述要么P要么Q是一个析取式P和Q叫做这个陈述的离析项disjunct 一个例子 我要么选择汤要么选择沙拉 我不选择汤 所以我选择沙拉 另一个例子 要麼小王赢要麼小张赢 小王没有赢 所以小张赢了