各種命題都可以有它們的負命題，根據這些負命題可以進行相應的負命題推理。具體包括負復合命題推理、負直言命題推理和負模態命題推理。它們都可以看成是復合推理。負命題的推理從根本上說，也就是要求各種命題的負命題的等值命題。在求各種命題的負命題的等值命題過程中，最主要的是要注意其中所涉及到的邏輯概念的變化問題。一般地，應該作出變換的邏輯概念對主要有：“并且”與“或者”，“所有”與“有些”，“必然”與“可能”...