三段論規(guī)則證明

1、根據(jù)：1)P69 三段論的七條一般規(guī)則2)周延定義1 1、中項至少周延一次2 2、在結(jié)論中周延的項、3 3、兩否定不能得結(jié)論4 4、前提中有一否定，結(jié)論否定5 5、結(jié)論否定，前提中必有一否定6 6、兩特稱不能得結(jié)論7 7、前提中有一特稱，結(jié)論特稱周延定義：全稱判斷主項周延，特稱判斷主項不周延；肯定判斷謂項不周延，否定判斷謂項周延；第一格：M-PM-P1 1）小前提肯定S-MS-M2 2）大前提全稱證明：小前提肯定設(shè)小前提否定-（規(guī)則 4 4）結(jié)論否定-（周延定義+PM+PM 結(jié)論的謂項）大項在結(jié)論中周延-（規(guī)則2 2）大項在前提中周延- （周延定義+PM+PM 大前提的謂項）大前提否定（規(guī)則

2、3 3） 兩否定不能得結(jié)論，所以，小前提不能否定。證明：大前提全稱小前提肯定（已證）-（周延定義+ME+ME 小前提中作謂項）中項在小前提中不周延-（規(guī)則 1 1）中項在大前提中應(yīng)當(dāng)周延-（周延定義+M+M 在大前提中作主項） 大前提全稱。證明（第 2 2 格）前提中必有一否定M M 在兩個前提中都是謂項（周延定義+規(guī)則 1 1）兩前提中必有一否定證明（第 2 2 格）大前提全稱因為兩前提中有一否定（已證）（規(guī)則 4 4）結(jié)論否定（周延定義）大項在結(jié)論中周延（規(guī)則 2 2）大項在前提中周延（周延的定義+大項在大前提中作主項），所以大前提全稱。證明（第 3 3 格）結(jié)論特稱因為小前提肯定（已證）

3、（周延定義+碓小前提中作謂項）S S 在前提中不周延（規(guī)則2 2） S S在結(jié)論中不周延一一 （周延定義+S S 是結(jié)論的主項）結(jié)論特稱證明（第 4 4 格）規(guī)則 1 1 前提中有一否定（條件）一一（規(guī)則 4 4）結(jié)論否定（周延定義+幅結(jié)論的謂項）大項在結(jié)論周延（規(guī)則 2 2）大項在前提中也周延-（周延定義十大項在前提中作主項），所以大前提全稱；證明（第 4 4 格）規(guī)則 2 2大前提肯定（條件）一一（周延定義+中項在大前提中作謂項）中項在大前提中不周延 （規(guī)則 1 1）中項在小前提中必周延（周延定義+中項在小前提中作主項） ， 所以，小前提全稱。證明 （第 4 4 格） 規(guī)則 3 3 小前提

4、肯定（條件）一一（周延定義+m+m 小前提中作謂項）小項在前提中不周延（規(guī)則2 2）小項在結(jié)論中不周延一一（周延定義+混結(jié)論的主項），特稱判斷主項不周延，所以結(jié)論特稱。張紅和李明是同學(xué)（關(guān)系判斷）ABAB（關(guān)系 R R）張紅是李明班上的同學(xué)（性質(zhì)判斷）（類）ARlBtARlBt 示用口片狀系A(chǔ)-RA-R 味示A口昵有法系邏輯學(xué)主要研究關(guān)系的對稱性和傳遞性對稱性： 對稱關(guān)系、 反對稱關(guān)系、非對稱關(guān)系傳遞性： 傳遞關(guān)系、 反傳遞乎系、非傳遞關(guān)系愛：非對稱（ARBB-RAARBB-RA）、非傳遞等于：對稱（Arb,braArb,bra）、傳遞戰(zhàn)勝：反對稱（ARBB-RAARBB-RA）、非傳遞大于：反對稱、傳遞關(guān)系推理分為兩大類：1 1、純關(guān)系推理1 1）對稱關(guān)系推理 ARBARBBRABRA（A=B-A=B-B=A2 2）反對稱關(guān)系推理ARB-B-RAARB-B-RA（順勝 B,B,則 B B 一定沒戰(zhàn)勝 A A）3 3）傳遞關(guān)系推理 ARB,BRCARCARB,BRCARC甲比乙大，乙比丙大一甲比丙大4 4）反傳遞關(guān)系推理ARBBRC-A-RCARBBRC-A-RC甲是