论文部分内容阅读
命题的否定是否定某个命题而构成的命题,因此它与原命题构成一对矛盾关系,命题和命题的否定有且仅有一个是真的,这是我们在构造否定命题时的一个判断准则（必要条件）.关于简单命题的否定，我们这里只讨论全称量词为“都是”的命题的否定，这类命题一般是关于一类对象中的每一个个体是否都具有某属性的断言。如命题S：所有s“都是”P，对它的否定如果是命题P：所有s“都不是”P，则因为可能有部分S是P，另有部分5不是P，使命题S和命题P都是假的，即“都是”与“都不是”不构成一对矛盾关系。