2．直言命题的真假包含关系

命题有真假之分。一个命题的断定与客观实际相符合，它就是真的；一个命题的断定与客观相符合，它就是假的。

两个概念的外延上主要存在着五种关系，即全同关系、真包含于关系、真包含关系、交叉关系和全异关系。全同关系也叫同一关系，它是指两个概念的外延完全重合，如“珠穆朗玛峰”与“世界上最高的山峰”这两个概念之问间就具有全同关系。真包含于关系是指一个概念的全部外延与另一个概念的部分延相重合，例如：“学生”与“人”这两个概念之间就具有真包含于关系。真包含关系是指一个概念的部分外延与另一个概念的全部外延相重合，如“学生”与“大学生”这两个概念之问就具有真包含关系。交叉关系是指一个概念的部分外延与另一个概念的部分外延相重合，例如：“女青年”与“运动员”这两个概念之间就具有交叉关系。全异关系是指两个概念之间在外延上没有任何重合部分，例如：“大学生”与“中学生”这两个概念之间就具有全异关系。

直言命题的主项和谓项在外延上所存在的五种关系，决定了一个具体的直言命题的真假特征。列表如下：

特别需要注意的是，特称肯定命题SIP在全同关系下或真包含于关系下都为真，因为全称肯定命题SAP此时也为真，既然“所有S都是P”，当然也可以说“有些S是P”。同理，特称否定SOP在全异关系下也为真，因为全称否定命题SEP此时也为真，既然“所有s都不是P”，当然也可以说“有些S不是P”。例如，“有些大学生是人”为真，因为既然“所有大学生都是人”，当然也可以说“有些大学生是人”。如果“有些大学生是人”为假，就意味着其矛盾命题“所有大学生都不是人”为真，这显然是荒谬的。