負命題等值推理

負命題等值推理是等值推理的一種。根據負命題等值關係而進行推演的推理。由於各種命題（無論是簡單命題還是複合命題）都有其負命題，而且，也都有與其負命題等值的命題，因而，各種命題的負命題都可以作為前提而推出一個與之等值的命題的結論，即都可以進行相應的負命題等值推理。

比如，簡單命題“SAP”（全稱肯定命題）的負命題為“並非SAP”，與其等值的命題為“SOP”。按此，即可以前者為前提進行等值推理而推出後者：“並非SAP，所以，SOP”。如：“並非一切閃光的都是金子，所以，有些閃光的不是金子。”再如，複合命題“p而且q”（聯言命題）的負命題為“並非p而且q“。與其等值的命題為“非p或者非q”。按此，以前者為前提進行等值推理即有：“並非p而且q，所以，非p或者非q。”如：“不能既要馬兒跑，又要馬兒不吃草，所以，或者馬兒不能跑，或者馬兒要吃草。”負命題的等值推理都是有效推理，而且是可逆的（即前提與結論是可以互推的）。只要其前提是真的，結論也就必然是真的。