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