通过对原命题断定情况的否定而作出的命题,就叫负命题。
直言命题的负命题的逻辑公式是:如果用P表示原命题,那么负命题即为“并非P”。用符号表示“Ø”(读为“非”)表示否定的联结词,则P命题的负命题为ØP。
由于负命题是对整个原命题的否定,那么它与原命题之间的真假关系是矛盾关系,即:原命题真,其负命题必假;原命题假,其负命题必真。
而直言命题的负命题实质上即为对当关系中的相应矛盾命题,即:
并非所有S都是P=有S不是P
并非所有S都不是P=有S是P
并非有S是P=所有S都不是P
并非有S不是P=所有S都是P
