负判断等值推理

是根据负判断等值关系进行的推理。负判断等值推理一般有以下几种情况：（1）负简单判断等值推理，用公式表示是：SAP→SOP（并非所有的S都是P等值于有的S不是P）。SEP→SIP（并非所有的S不是P等值于有些S是P）。SIP→SEP（并非有的S是P等值于所有的S不是P）。SOP→SAP（并非有的S不是P等值于所有的S都是P）。（2）负复合判断等值推理。第一，负联言判断等值推理，用公式表示是P∧q→P∨q（并非P且q等值于非P或非q）。第二，负选言判断的等值推理，用公式表示是：P∨q→P∧q（并非P或q等值于非P且非q）。第三，负充分条件假言等值推理，用公式表示是：P→q→P∧q（并非如果P那么q等值于P且非q）。第四，负必要条件的假言等值推理，用公式表示是：P←q→P∧q（并非只有P才q等值于非P且q）。第五，负充要条件的假言等值推理，用公式表示是：P←→q→（P∧q）∨（P∧q）（并非当，且仅当P则q等值于P且非q，或者非P且q）。第六，负负判断等值推理，用公式表示是：P→P（并非非P等值于P）。