如:AAA、AAI、AEE、AE0、AII、A00;EAE、EAO、EIO、IAI、OAO。如果再根據三段論各格的特殊規則,把這十一個式分配到各格中去,那么各格的正確式即有:第一格 第二格 第三格 第四格AAA AEE AAI AAIAII EAE AII AEEEAE EIO EAO EAOEIO A00 E10 EIO(AAl) (AEO) IAI IAI(EAO) (EAO) 0AO (AE03表中帶括弧的式,稱為弱式。包括五個弱式,三段論四個格的正確式,即有效式,總計有廿四個。
相關詞條
-
三段論推理
三段論推理是演繹推理中的一種簡單推理判斷。他包括:一個包含大項和中項的命題(大前提)、一個包含小項和中項的命題(小前提)以及一個包含小項和大項的命題(結...
定義 省略式 公理 相關概念 規則 -
三段論
三段論推理是演繹推理中的一種簡單推理判斷。他包括:一個包含大項和中項的命題(大前提)、一個包含小項和中項的命題(小前提)以及一個包含小項和大項的命題(結...
定義 省略式 公理 相關概念 規則 -
三段論格式歌訣
三段論格式歌訣是中世紀邏輯學家西班牙的彼得在其著作中最早擬 定的一套有效三段論式的拉丁文名 稱。為了使人一目了然、便於記憶, 他曾用詩文列出。
-
三段論化歸法
三段論化歸法亦稱“三段論的還原法”。將三段論的第二、三、四格轉化為第一格的方法。從整體上看,三段論是一個完整的公理演繹系統,它的第一格為“完善格”,其中...
-
有效推理
有效推理亦稱“正確(符合推理規則的)推理”。運用有效的推理形式所進行的推理。亦即是前提蘊涵著結論的推理。一個有效的推理,其前提真而結論假是不可能的。如三...
-
結論格
256種可能的組合每一種組合稱為一個式。在256個式中,符合三段論規則的叫有效式,違反三段論規則的叫無效式。三段論的有效式共24個,分別如下: 結論格...的現代研究成果用謂詞邏輯的符號來表示三段論的推理式,則三段論的有效式都可從...
基本介紹 相關概念 -
邏輯架構
。 一個三段論是有效的若且唯若符合以下5條規則:①M至少周延一次;②S、P...證明第 1格的其他各式,從而把24個有效的三段論形式組成一個公理系統...的。它說明一個三段論是否有效的步驟是:先分別給出兩前提為真的圖解,然後再...
* 經典邏輯 -
命題演算分離規則
式中,符合三段論規則的叫有效式,違反三段論規則的叫無效式。三段論的有效式...表示三段論的推理式,則三段論的有效式都可從謂詞邏輯系統中推出,其中9個...命題演算的規律,就可推出直言命題的換位規律和所有的三段論的有效式。這個完全...
分離規則 命題演算公理系統的變形規則 命題演算的代入規則 關於分離規則的討論 直言三段論 -
邏輯與哲學:現代邏輯導論
3.析取三段論和假言三段論4.簡化式和組合式5.附加式和二難構成式6....省略式三段論13.連鎖式三段論14.技術限制與局限性本章引入的關鍵術語第...式43.3.析取三段論和假言三段論44.4.簡化式和組合式45.5.附加...
基本信息 內容簡介 作者簡介 目錄