Loading AI tools
来自维基百科,自由的百科全书
選言三段論(Disjunctive Syllogism),也叫做析取三段論或拒取式(modus tollendo ponens,字面意思:通過否定來肯定)是有效的簡單的論證形式:
在邏輯運算符記號中:
這裏的表示邏輯斷言。
粗略的,我們可以說一個或另一個是真;接着我們可以說一個不是真;那麼我們可以推導出另一個必須是真。這種推理叫做"選言三段論",就是說,首先它是三段論--三個步驟的論證--其次它包含一個析取式,它簡單的意味着一個"或"陳述。"要麼P要麼Q"是一個析取式;P和Q叫做這個陳述的離析項(disjunct)。
一個例子:
另一個例子:
應當注意到有兩種邏輯析取是重要的:
通俗英語的或的概念經常在這兩種意思之間不明確,但是這種區別在評估析取論證的時候是關鍵的。
這個論證:
是有效的並且沒有在兩種意義之間是有區別的。但是,下列論證只有在排斥的意義上才是有效的:
對於包容的意義你從論證的前兩個前提不能得出任何結論。參見肯定離析項。
不像肯定前件和否定後件,不應與之混淆,拒取式經常不作為邏輯系統的明確的規則或公理,因為上述論證可以使用(略微迂迴了一些的)反證法和析取除去的組合來完成。
拒取式不應該混淆於肯定後件。
傳統邏輯:三段論 |
形式:直言三段論 | 選言三段論 | 假言三段論 | 複合三段論 | 準三段論 | 統計三段論 |
其他:對立四邊形 | 布林三段論 | 三段論謬論 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.