不難發(fā)現(xiàn)：判斷為真的肯定性質(zhì)判斷是主項(xiàng)所指對(duì)象在謂項(xiàng)中都能找到，肯定性質(zhì)判斷的謂項(xiàng)可以是周延的，也可以不是周延的。

圖I中a、b所示是判斷SAP真時(shí)，主項(xiàng)、謂項(xiàng)都存在的對(duì)象關(guān)系。主項(xiàng)所指對(duì)象都是由概念S的內(nèi)涵（內(nèi)涵是特征質(zhì)，用符號(hào)TS表示）決定的對(duì)象，記為：d(TS)。在圖I中a、b、c、d所示情形下，判斷SIP都真。主項(xiàng)對(duì)象不是全部的d(TS)，只是其中的部分對(duì)象。假設(shè)x是主項(xiàng)概念S增加的質(zhì)（把x說(shuō)成內(nèi)涵，當(dāng)然更符合形式邏輯的理念），部分d(TS)可認(rèn)為是由質(zhì) TS+x決定的對(duì)象，記為：d(TS+x)。

如果聯(lián)系到用謂項(xiàng)概念P的內(nèi)涵（用符號(hào)TP表示）來(lái)表示主項(xiàng)對(duì)象，判斷SAP、SIP中的主項(xiàng)對(duì)象都可認(rèn)為是：特征質(zhì)TP的基礎(chǔ)上增加了質(zhì)y（y可為0)決定的對(duì)象，統(tǒng)一記為：d(TP+y)。當(dāng)y=0時(shí)，所指對(duì)象就是：圖a情形下和圖c情形下，肯定判斷中主項(xiàng)所指的全部對(duì)象都是全部的謂項(xiàng)對(duì)象；當(dāng)y不為0時(shí)，所指對(duì)象就是在圖a、b、c、d所示情形下SIP判斷中主項(xiàng)所指的全部對(duì)象都是部分謂項(xiàng)對(duì)象。

用d(TS)或d(TS+x)可表主項(xiàng)對(duì)象，用d(TP+y)也可表主項(xiàng)對(duì)象。因此，在判斷SAP中存在d(TS)=d(TP+y)；在判斷SIP中存在d(TS+x)=d(TP+y)。兩個(gè)式子都把主項(xiàng)、謂項(xiàng)聯(lián)系起來(lái)了，把它們看作是肯定性質(zhì)判斷的一種表述。形式上看，肯定的性質(zhì)判斷是“不同質(zhì)決定了等數(shù)量的對(duì)象”，其實(shí)，因?yàn)橛胁幻髁说馁|(zhì)，在思維里應(yīng)當(dāng)理解為“不同質(zhì)決定了相同對(duì)象”?！安煌|(zhì)決定了相同對(duì)象”，d(TS)=d(TP+y)和 d(TS+x)= d(TP+y) 可用命題合取式表示分別為：TS→d Λ TP+y→d和TS+x→d Λ TP+y→d(符號(hào)d代表對(duì)象，同一合取式中代表的對(duì)象相同），簡(jiǎn)單起見(jiàn)，就記為：TS Λ TP+y和TS+x Λ TP+y。形式式看就是把真的肯定性質(zhì)判斷用“質(zhì)”來(lái)表述了。顯然，合取式中的質(zhì)可換位置，也可在其他的判斷中用TS換TP+y或用TP+y換TS，它們是可互換的，TS+x同TP+y也一樣。

在真的否定性質(zhì)判斷中（也是預(yù)設(shè)主項(xiàng)對(duì)象、謂項(xiàng)對(duì)象都存在的情形），主項(xiàng)所指對(duì)象如圖II中c、d、e涂色部分所示（圖II中的a、b所示無(wú)真的否定性質(zhì)判斷）

從對(duì)象的角度，真的否定性質(zhì)判斷可理解為：主項(xiàng)對(duì)象中無(wú)謂項(xiàng)對(duì)象，謂項(xiàng)對(duì)象中無(wú)主項(xiàng)對(duì)象。從質(zhì)的角度看，否定的性質(zhì)判斷就是指用謂項(xiàng)內(nèi)涵所示的質(zhì)可否定主項(xiàng)所指的全部對(duì)象。因此，否定性質(zhì)判斷的謂項(xiàng)是周延的。

思維中，否定的性質(zhì)判斷的功能中有區(qū)分對(duì)象的作用，即主項(xiàng)對(duì)象和謂項(xiàng)對(duì)象在某種情況下不能歸為同類：認(rèn)定主項(xiàng)類，類中對(duì)象就沒(méi)有謂項(xiàng)類對(duì)象，認(rèn)定謂項(xiàng)類，類中對(duì)象就沒(méi)有主項(xiàng)類對(duì)象 。因此，否定的性質(zhì)判斷可用命題的析取式表示。判斷SEP和SOP分別表示為：TS→s∨TP→p和TS+x→有的s∨TP→p（其中的對(duì)象的表示法，思路與肯定性質(zhì)判斷中對(duì)象的表示法相同），簡(jiǎn)單記為：TS∨TP和TS+x∨TP。形式上看也是否定性質(zhì)判斷的“質(zhì)”表述。

前面從預(yù)設(shè)對(duì)象存在的角度，把性質(zhì)判斷用“質(zhì)”來(lái)表述。真性質(zhì)判斷中有時(shí)會(huì)存在空類，用“質(zhì)”表述性質(zhì)判斷可涵蓋空類的情形。存在空類，我們無(wú)法從對(duì)象的角度去判斷兩個(gè)概念間的關(guān)系。從質(zhì)的角度看，只要符合上述“質(zhì)”表述情形的性質(zhì)判斷就是思維中的“真”判斷，或者說(shuō)我們就是這樣理解什么是真的性質(zhì)判斷，不需要考證主項(xiàng)概念的外延同謂項(xiàng)概念的外延間的關(guān)系，不涉及具體的判斷的真假，在具體的判斷真時(shí)，也是符合這種情況的。這樣理解性質(zhì)判斷的真假（從質(zhì)的角度判斷真假），我們就不難理解我們?yōu)槭裁茨茏x懂那些虛構(gòu)的作品。

驗(yàn)證過(guò)程中否定性質(zhì)判斷直接推理規(guī)則的運(yùn)用

1、SEP→SOP：TS∨TP→TS+y∨TP

2、SEP→PES→POS：TS∨TP→TP∨TS→TP+y∨TS

3、SOP不推POS:運(yùn)用TS+x∨TP或TP+x∨TS給判斷，只能用TS+x或TP+x決定的對(duì)象做主項(xiàng)，謂項(xiàng)周延。

※TS+x∨TP→TS+x∨TP+y的證明：把TS+x看成是TM得TM∨TP→TM∨TP+y，還原即TS+x∨TP+y

（待續(xù)）