一、現(xiàn)代漢語(yǔ)里的性質(zhì)判斷
（一）現(xiàn)代漢語(yǔ)里的全稱性質(zhì)判斷
外延角度的性質(zhì)判斷SAP:現(xiàn)代漢語(yǔ)里的全稱性質(zhì)判斷分二種。首先，主項(xiàng)與謂項(xiàng)的外延關(guān)系是全異關(guān)系，但又是肯定的全稱性質(zhì)判斷。其次，主項(xiàng)的外延真包含于謂項(xiàng)的外延或主項(xiàng)的外延真就是謂項(xiàng)的外延的全稱性質(zhì)判斷。
外延角度的性質(zhì)判斷SEP:主項(xiàng)與謂項(xiàng)的外延關(guān)系是全異關(guān)系。
（二）現(xiàn)代漢語(yǔ)里的特稱性質(zhì)判斷
    1、陳述外延關(guān)系的SIP：s真包含于p或S、P的外延關(guān)系是交叉關(guān)系。
    2、陳述外延關(guān)系的SOP：s真包含p或S、P的外延關(guān)系是交叉關(guān)系。
二、現(xiàn)代漢語(yǔ)里的性質(zhì)判斷推理
（一）性質(zhì)判斷直接推理
    1、全稱性質(zhì)判斷不預(yù)設(shè)對(duì)象存在。主項(xiàng)無(wú)量詞的性質(zhì)判斷可轉(zhuǎn)換成無(wú)存在量詞蘊(yùn)涵命題。主項(xiàng)是專名的不能轉(zhuǎn)換成無(wú)存在量詞蘊(yùn)涵命題。
    2、SAP不得SIP。SAP真，陳述外延關(guān)系的SIP是錯(cuò)誤語(yǔ)句，它們所陳述的外延關(guān)系不同。
    3、SEP不得SOP。SEP真，陳述外延關(guān)系的SOP是錯(cuò)誤語(yǔ)句，它們所陳述的外延關(guān)系不同。
    4、SIP到PIS。存在s（現(xiàn)實(shí)對(duì)象）是p，肯定存在P（現(xiàn)實(shí)對(duì)象）是s。

?x(s(x)∧p(x) )=?x(p(x)∧s(x) )

    5、陳述外延關(guān)系的SOP不得陳述外延關(guān)系的POS，s可能包含p。
    6、SEP到PES：P不包含s，s不包含p。?x(s(x)→?p(x) )=?x(p(x)→?s(x) )
    7、SAP到SE?P。P包含s，?p不包含s。?x(s(x)→p(x) )=?x(s(x)→??p(x) )
    8、SEP到SA?P。P不包含s，?p包含s。?x(s(x)→?p(x) )=?x(s(x)→???p(x) )?
    9、SIP到SO?P。存在s是p，這樣的s肯定不是?p。

  ?x(s(x)∧p(x) )=?x(s(x)∧s(x) )

10、SOP到SI?P。存在s不是p，這樣的s肯定是?p。

 ?x(s(x)∨p(x) )=?x(s(x)∧?p(x) )

（二）性質(zhì)判斷間接推理（直言三段論推理）

AAA-1
MAP SAM



    P包含m，m包含s，所以，P包含s，SAP必真。
(m→P，s→m，所以，s→P。)

?x(s(x)→m(x) ),?x(m(x)→p(x) ),所以，?x(s(x)→p(x) )
SAP真，全稱前提不預(yù)設(shè)對(duì)象存在，全稱前提不得特稱結(jié)論。
AAI-1是無(wú)效直言三段論式。
EAE-1
MEP SAM



    m包含s而不包含P，P不包含s。所以，SEP必真。(m→?q，s→m，所以，s→?q。)

?x(m(x)→?p(x) ),?x(s(x)→m(x) ),所以，?x(s(x)→?p(x) )
    SEP真，全稱前提不預(yù)設(shè)對(duì)象存在，全稱前提不得特稱結(jié)論。
EAO-1是無(wú)效直言三段論式。
AII-1
MAP SIM

     P包含m，若有存在的m，那么，這樣的m具有性質(zhì)P。所以，存在s（“+”所示，后面的“+”也是這個(gè)意思）是存在的m，SIP必真。

(m→P，s→m，所以，s→P。）?x(m(x)→p(x) ),?x(s(x) ∧m(x)),所以，?x(s(x)∧p(x) )

EIO-1
MEP SIM

    p不包含m，若有存在的m，那么，這樣的m不具有性質(zhì)P。存在的s是存在的m。所以，SOP必真。

?x(m(x)→?p(x) ),?x(s(x) ∧m(x)),,所以，?x(s(x)→?p(x) )
AEE-2
PAM SEM

    由p→m，s→?m知p→m，m→?s。那么，p→?s。由p→?s知s→?p。

?x(m(x)→p(x) )，有?x(?m(x)→?p(x) )，而?x(s(x)→?m(x) )，所以，?x(s(x)→?p(x) )
EAE-2
PRM SAM

    由p→?m，s→m知m→?p，s→m。那么，s→?p。

?x(m(x)→?p(x) ),?x(s(x)→m(x) ),所以，?x(s(x)→?p(x) )
EIO-2
PEM SIM


    P不包含m，若是存在的m，那么，這樣的m不具有性質(zhì)P。存在s是存在的m，SOP必真。

?x(m(x)→?p(x) ),?x(s(x) ∧m(x)),,所以，?x(s(x)→?p(x) )
AOO-2
PAM SOM

?x(p(x)→m(x) )，?x(s(x) ∧?m(x))，所以，?x(s(x)∧?p(x) )

    m包含p，若是存在的?m，那么，這樣的?m不具有性質(zhì)P。所以，所示的存在的s是存在的?m，SOP必真。
AAI-3（無(wú)效式）
MAP MAS
    全稱前提不預(yù)設(shè)對(duì)象存在，全稱前提不得特稱結(jié)論。
EAO-3（無(wú)效式）
MEP MAS

    全稱前提不預(yù)設(shè)對(duì)象存在，全稱前提不得特稱結(jié)論。
IAI-3
MIP MAS

    預(yù)設(shè)對(duì)象存在，那樣的m必然存在，那么，這樣的m具有性質(zhì)P。這樣的m也一定是存在的s，SIP必真。

?x(p(x)→m(x) ),?x(s(x) ∧m(x)),所以，?x(s(x)∧p(x) )
OAO-3
MOP MAS

    預(yù)設(shè)對(duì)象存在，那樣的m必然存在，那么，這樣的m不具有性質(zhì)P。這樣的m一定是存在的s，SOP必真。

?x(m(x)→s(x) )，?x(p(x) ∧?m(x))，所以，?x(s(x)∧?p(x) )
AII-3
MAP MIS


    預(yù)設(shè)對(duì)象存在:存在m，那么，這樣的m具有性質(zhì)P。存在的s一定是存在的m，這樣的s具有性質(zhì)P，SIP必真。

?x(m(x)→p(x) )，?x(s(x) ∧m(x))，所以，?x(s(x)∧p(x) )
EIO-3
MEP MIS

    存在的s一定是存在的m，存在的m不具有屬性P。所以，SOP必真。

?x(m(x)→?p(x) ),?x(s(x) ∧m(x)),,所以，?x(s(x)→?p(x) )
AAI-4（無(wú)效式）
PAM MAS

    全稱前提不預(yù)設(shè)對(duì)象存在，全稱前提不得特稱結(jié)論。
EAO-4（無(wú)效式）
PEM MAS

    全稱前提不預(yù)設(shè)對(duì)象存在，全稱前提不得特稱結(jié)論。
IAI-4

    存在的m一定是存在的p，存在的m具有屬性P。存在的m一定是存在的s。所以，SIP必真。

?x(m(x)→s(x) ),?x(p(x) ∧m(x)),所以，?x(s(x)∧p(x) )
EIO-4
PEM MIS

    存在的m一定是存在的s，存在的m不具有屬性P。所以，SIP必真。

?x(m(x)→?p(x) ),?x(s(x) ∧m(x)),,所以，?x(s(x)→?p(x) )
AEE-4
PAM MES

   由p→m，s→?m知p→m，m→?s。那么，p→?s。由p→?s知s→?p。

?x(m(x)→p(x) ),?x(s(x)→?m(x) ),所以，?x(s(x)→?p(x) )
AEO-4（無(wú)效式）
PAM MES

    由前提易推出PES真。SEP真，無(wú)特稱結(jié)論。