４。”并非ＳＯＰ“等值于”ＳＡＰ“，因此：由并非ＳＩＰ必然推出ＳＡＰ。
其逻辑形式是：←→ＳＡＰ。
例如：并非有些腐败分子不可以从轻量刑，所以，有些腐败分子是可以从轻量刑的。
二）负复合判断及其等值推理
负复合判断是肢判断为复合判断的负判断。
负复合判断主要有负联言判断、负选言判断、负假言判断。任何一个负复合判断都有两个或两个以上不同的复合判断和它等值，因而其等值推理形式也至少有两个有效式。这里只列出其一个等值式。
６－３２
１。负联言判断的等值推理
逻辑形式是：
例如：并非张三和李四都是盗窃犯，所以，或者张三是盗窃犯，或者李四是盗窃犯。
６－３３
２。负选言判断的等值推理
（１）负相容选言判断的等值推理逻辑形式是：
例如：并非张三或者李四是盗窃犯，所以，张三不是盗窃犯，李四也不是盗窃犯。
６－３３
（２）负不相容选言判断的等值推理
逻辑形式是：
例如：并非要么张三是盗窃犯，要么李四是盗窃犯，所以，或者张三是盗窃犯，李四也是盗窃犯；或者张三不是盗窃犯，李四也不是盗窃犯。６－３４３。负假言判断的等值推理
（１）负充分条件假言判断的等值推理
逻辑形式是：
例如：并非如果掌权，就会腐败；所以，可以掌权而不腐败。
（２）负必要条件假言判断的等值推理
其逻辑形式是：
例如：并非只有生活腐化，才会受到党纪国法的惩处；所以，生活不腐化，也会受到党纪国法的惩处。
（３）负充分必要条件假言判断的等值推理
其逻辑形式是：
例如：并非当且仅当执法者犯法，才受刑法的处罚；
所以，或者执法者犯法而没受刑法的处罚；或者不是执法者犯法，也受刑法的处罚。
返回