一、现代汉语里的性质判断
（一）现代汉语里的全称性质判断
外延角度的性质判断SAP:现代汉语里的全称性质判断分二种。首先，主项与谓项的外延关系是全异关系，但又是肯定的全称性质判断。其次，主项的外延真包含于谓项的外延或主项的外延真就是谓项的外延的全称性质判断。
外延角度的性质判断SEP:主项与谓项的外延关系是全异关系。
（二）现代汉语里的特称性质判断
1、陈述外延关系的SIP：s真包含于p或S、P的外延关系是交叉关系。
2、陈述外延关系的SOP：s真包含p或S、P的外延关系是交叉关系。
二、现代汉语里的性质判断推理
（一）性质判断直接推理
1、全称性质判断不预设对象存在。主项无量词的性质判断可转换成无存在量词蕴涵命题。主项是专名的不能转换成无存在量词蕴涵命题。
2、SAP不得SIP。SAP真，陈述外延关系的SIP是错误语句，它们所陈述的外延关系不同。
3、SEP不得SOP。SEP真，陈述外延关系的SOP是错误语句，它们所陈述的外延关系不同。
4、SIP到PIS。存在s（现实对象）是p，肯定存在P（现实对象）是s。
∃x(s(x)∧p(x)
)=∃x(p(x)∧s(x) )
5、陈述外延关系的SOP不得陈述外延关系的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) )
（二）性质判断间接推理（直言三段论推理）
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真，全称前提不预设对象存在，全称前提不得特称结论。
AAI-1是无效直言三段论式。
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真，全称前提不预设对象存在，全称前提不得特称结论。
EAO-1是无效直言三段论式。
AII-1
MAP SIM
P包含m，若有存在的m，那么，这样的m具有性质P。所以，存在s（“+”所示，后面的“+”也是这个意思）是存在的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不具有性质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不具有性质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不具有性质P。所以，所示的存在的s是存在的¬m，SOP必真。
AAI-3（无效式）
MAP MAS
全称前提不预设对象存在，全称前提不得特称结论。
EAO-3（无效式）
MEP MAS
全称前提不预设对象存在，全称前提不得特称结论。
IAI-3
MIP MAS
预设对象存在，那样的m必然存在，那么，这样的m具有性质P。这样的m也一定是存在的s，SIP必真。
∀x(p(x)→m(x)
),∃x(s(x) ∧m(x)),所以，∃x(s(x)∧p(x) )
OAO-3
MOP MAS
预设对象存在，那样的m必然存在，那么，这样的m不具有性质P。这样的m一定是存在的s，SOP必真。
∀x(m(x)→s(x)
)，∃x(p(x) ∧¬m(x))，所以，∃x(s(x)∧¬p(x)
)
AII-3
MAP MIS
预设对象存在:存在m，那么，这样的m具有性质P。存在的s一定是存在的m，这样的s具有性质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（无效式）
PAM MAS
全称前提不预设对象存在，全称前提不得特称结论。
EAO-4（无效式）
PEM MAS
全称前提不预设对象存在，全称前提不得特称结论。
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（无效式）
PAM MES
由前提易推出PES真。SEP真，无特称结论。
