Loading AI tools
来自维基百科,自由的百科全书
假言三段論又稱假言推理。假言推理總是以假言判斷為前提來進行推理的。
在邏輯運算符記號中
換句話說,這種論證陳述如果第一個蘊涵第二個,並且第二個蘊涵第三個,則第一個蘊涵第三個。假言三段論的一個例子:
假言三段論有一個好處,它們可以是反事實的(counterfactual): 它們可以是真的,即使前提假設的命題已知是假的。
反事實的前提的可以在有效的假言三段論中使用的例子:
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.