例如：
论证“有些被告人实行正当防卫，不要负刑事责任。”为真 E真O必真
用“所有正当防卫都不要负刑事责任。”这个E命题真来证明。 反驳“所有法律都不是统治阶级的意志的体现” A真E必假
所有法律是统治阶级的意志的体现。（A命题） I真E必假
有的法律是统治阶级意志的体现。（E命题）
三、性质命题的直接推理
（一）性质命题对当关系推理
性质命题对当关系推理：指从一个性质命题推出另一个性质命题的推理。 1、根据矛盾关系的推理
矛盾关系：A与O，E与I命题间的关系。
一个命题真，推出另一个命题假；一个命题假，推出另一个命题真。 矛盾关系的对当推理的有效形式： SAP →┑SOP ┑SAP →SOP SOP →┑ SAP ┑SOP →SAP SEP →┑SIP ┑SEP →SIP SIP →┑SEP ┑SIP →SEP
例如：
（1）所有贪污罪的主体都是国家工作人员。 并非有的贪污罪的主体不是国家工作人员。
SAP →┑SOP
（2）并非所有的合同都是有效的。 有的合同不是有效的。 ┑SAP →SOP
2、差等关系推理
差等关系：指A与I，E与O命题间的关系。
全称命题为真推出特称命题为真；特称命题为真推出全称命题为假。 差等关系的有效形式： SAP → SIP ┑SIP →┑SAP SEP → SOP
6
┑SOP →┑SEP 例如：
（1）并非有的抢夺罪是抢劫罪。 并非凡抢夺罪是抢劫罪。 ┑SIP → ┑SAP
（2）凡作案者都有作案时间。 有的作案者有作案时间。 SAP → SIP
3、上反对关系推理
上反对关系：指A与E命题间的关系。
其中一个命题为真，推出另一个命题为假。 反对关系推理的有效形式： SAP→┑SEP SEP→┑SAP
例如：
（1）所有的共同犯罪是合法的。
并非所有的证据都不是合法的。 SAP→┑SEP
（2）所有共同犯罪都不是过失犯罪。 并非所有共同犯罪是过失犯罪。 SEP→┑SAP
4、下反对关系推理
下反对关系：指I与O命题间关系。
其中一个命题为假，推出另一个命题为真。 下反对关系的有效形式： ┑SIP → SOP ┑SOP → SIP 例如：
（1）并非有的走私罪是过失犯罪。 有的走私罪不是过失犯罪。 ┑SIP → SOP
（2）并非有的遗产继承人不是法定继承人。 有的遗产继承人是法定继承人。 ┑SOP → SIP
四、性质命题的隐含命题及揭示隐含命题的方法
（一）性质命题的隐含 隐含命题：指由一个命题必然可以得出的另一个或几个与其意思相同、真假等值或者一致的命题。
7
例如：
本案的作案人是外科医生。
至少有一个外科医生是本案的作案人。 非外科医生都不是本案的作案人。
（二）揭示性质命题的隐含命题的逻辑方法 1、换质法
换质法：指通过改变一个性质命题的质，并将其谓项换成它的矛盾概念。即把肯定联项变成否定联项，或把否定联项变成肯定联项，得出的命题是原命题的隐含命题。 例如：
（1）某甲是非正常死亡。
某甲不是正常死亡。 （2）小学生不是成年人。
小学生是未成年人。
? 换质法的基本规则：
（1）改变命题的质，即将联项由否定改为肯定，或者由肯定改为否定。 （2）谓项改为与原词项相矛盾的词项。
? 换质法的推理形式
（1）A命题：SAP → SEP
所有的盗窃罪都是故意犯罪。
所有的盗窃罪都不是非故意犯罪。 （所有的盗窃罪都不是过失犯罪。）
（2）E命题：SEP → SAP 管制不是附加刑。 管制是主刑。
（3）I命题：SIP → SOP
有些人是不具有完全民事行为能力的。 有些人不是具有完全民事行为能力的。
（4）O命题：SOP → SIP 有些合同不是有效合同。 有些合同是无效合同。
? A、E、I、O四种命题换质形式：
SAP→SEP SEP→SAP SIP→SOP
8
SOP→SIP
2、换位法
换位法：指将性质命题的主、谓项的位置互换得出一个性质命题的推理。 例如：
（1）有些律师是青年人。 有些青年人是律师。 （2）犯罪中止不是犯罪未遂。 犯罪未遂不是犯罪中止。
? 换位法的规则：
（1）不改变前提命题的质和量，只交换其主、谓项的位置。 （2）在前提中不周延的词项，在结论中也不得周延。
? 换位法的推理形式：
（1）E命题：SEP→PES 正当防卫不负刑事责任。 负刑事责任的不是正当防卫。 （2）I命题：SIP→PIS 有些杀人罪是故意犯罪。 有些故意犯罪是杀人罪。
注意：A命题和O命题不能换位。因为A、O命题换位后词项的周延性改变了。 换位法的换位形式： SEP→PES SIP→PIS
? 换位法和换质法结合使用
SAP → ┑SAP
推理步骤：SAP → SEP → PES → PAS → PIS → SOP →┑SAP
作业练习：
1、写出以下推理的过程：
（1）SAP→POS （2）SEP→POS
2、因为犯罪行为都是危害社会的行为，所以并不是无罪的行为都是危害社会的行为。这种说法正确吗，请写出论证的过程。
9
法律逻辑学性质命题的逻辑规则及推理(校教学比赛)
