释义 |
全称否定区别命题 universal negative discriminate proposition 区别命题的一种。除断定所有对象S不具有性质P外,并还断定只有S不是P,即S和P的外延相加等于某一论域。和全称否定命题不同,它是一种复合命题,用“Ee”表示,命题的形式是:SEP∧PES∧S+P=1(“1”表示某一论域。两个支命题都是E命题,故用“Ee”表示)。也可简化为S=P。用图解表示(长方形表示论域)就是:  它表达“所有S,并且只有S不是P”的意思。在这命题中,不仅断定了所有S被排斥在P的外延以外,而且还断定没有不是P的其他对象。例如:“所有实数并且只有实数不是虚数”,这一命题断定了所有实数不是虚数,并且只有实数不是虚数,即在我们论域内除了不是虚数的实数外,没有不是虚数的其他的对象,亦即“实数”和“虚数”的外延相加穷尽了数的论域。 |