形式為:
“如果是p則q;q;所以p”的邏輯謬誤,即是說,直言前提肯定條件前提的後件,而結論肯定它的前件。舉例來說,“如果 他生病了,則他不來上班;他不來上班;所以他生病了。”這一推理是無效的,因為在條件前提中後件的真並不衍推前件的真。正確的形式應該從真蘊涵式的前件推出其後件,即是說,它應該具有形式“如果p則q;p;所以q”。中世紀邏輯學家將其稱為“modus ponens”,亦稱“肯定式”。
相關詞條
-
複合命題
式(均為重言式)為起點,先根據推理有效式的邏輯關係為推演基礎,構建複合命題推理邏輯方陣的基本類型,再對推理有效式的前肢互否、後肢互否、雙肢互否...的聯言命題並不完全等同於用"∧"所聯結而成的合取式。對前者來說順序是不能...
簡介 詳細 聯言命題 選言命題 假言命題 -
假言推理
規則,充分條件假言推理的否定前件式和肯定後件式都是無效的。例如:3....,非q(2)肯定後件式只有p,才qq___________所以,p例如...優良品種。例1和例2都是必要條件假言推理,前者是否定前件式;後者是肯定後件...
充分條件 必要條件 充分必要條件 -
《邏輯與演繹科學方法論導論》
的前後件都是真的,則它就被認為是真的;當一條件句的前件真而後件假時,它便被認為是假的;而當一條件句的前件假時,則無論其後件的真值如何,該因果...)(F[,x]→G[,x])(1)肯定的是所有的F[,a]∧G[,a],它...
內容提要 塔爾斯基 周禮全簡介 經典邏輯推理以實質蘊涵為基礎 有效推理都可不具同義反覆性 -
必要條件假言推理
肯定後件式 。必要條件假言推理和充分條件假言推理前後件之間是互為條件...,所以非q。肯定後件式肯定後件式指在小前提中肯定大前提的後件,結論則肯定它...前後件之間的關係。否定前件式否定前件式指在小前提中否定大前提的前件,結論...
基本介紹 否定前件式 肯定後件式 必要條件假言推理的規則 -
假言直言推理
形式1)肯定前件式小前提肯定大前提的前件,結論肯定大前提的後件,其公式...的後件,其公式是:只有p,才q非p——————所以非q2)肯定後件式小前提...斷定,或是對大前提的後件有所斷定。1)小前提肯定大前提的前件;——充分條件...
定義 詳細解釋 -
假言選言推理
構成式簡單構成式亦稱簡單肯定式,特點:兩假言判斷的前件不同,後件相同;選言判斷的兩個選言肢分別肯定假言前提中的兩個不同前件;結論肯定相同的後件...式簡單破斥式亦稱簡單否定式,特點:兩假言判斷前件相同,後件不同;選言判斷...
基本介紹 假言選言推理的分類 複雜構成式 -
充分條件假言推理
2都是充分條件假言推理,前者是肯定前件式;後者是否定後件式。這兩個推理都...前件式和肯定後件式都是無效的。例如: 3. 如果降落的物體不受外力...。 充分條件假言推理有兩條規則: 規則1:肯定前件,就要肯定後件...
-
皮埃爾·阿貝拉爾
,精細的、敏銳的天才」。 [4] 他的才情、與對手比武式的辯論方式,引來...
人物生平 著作 主要貢獻 -
《思維風暴:452道思維名題及其解答》
內容簡介《思維風暴:452道思維名題及其解答》薈萃了古今中外眾多歷史名人的思維方法,展現了452道撲塑迷離的各類思維名題,同時...
內容簡介 作者簡介 圖書目錄 序言 摘要