選言三段論

選言三段論 ( Disjunctive Syllogism ) ， 也叫做析取三段論或拒取式 （ modus tollendo ponens ， 字面意思 ： 通過否定來肯定 ） 是有效的簡單的論證形式 ： P或Q 非P 所以Q 在邏輯運算符記號中 ： ， ¬ 這裏的表示邏輯斷言 。 粗略的 ， 我們可以說一個或另一個是真 ； 接着我們可以說一個不是真 ； 那麼我們可以推導出另一個必須是真 。 這種推理叫做 " 選言三段論 " ， 就是說 ， 首先它是三段論 -- 三個步驟的論證 -- 其次它包含一個析取式 ， 它簡單的意味着一個 " 或 " 陳述 。 " 要麼P要麼Q " 是一個析取式 ； P和Q叫做這個陳述的離析項 （ disjunct ） 。 一個例子 ： 我要麼選擇湯要麼選擇沙拉 。 我不選擇湯 。 所以 ， 我選擇沙拉 。 另一個例子 ： 要麼小王贏要麼小張贏 。 小王沒有贏 。 所以 ， 小張贏了 。