【摘要】：13．5 表示类和类的包含于关系两个概念在外延上部分重合，而这种重合是由于运用了不同的分类标准造成的。实际上表示了S类的分子都是P类分子，S类被包含在P类中间，逻辑上称为包含于关系。主项的“electricians”和“novels”被包含在谓项的“workers”和“books”之中。作为子类的S类和作为母项的P类，两者不必同一，因此，它们之间的逆关系不一定成立，不能简单换位。
13．5 表示类和类的包含于关系
两个概念在外延上部分重合，而这种重合是由于运用了不同的分类标准造成的。例如：
（110）Electricians are workers．
（111）Novels are books．
例（110）、例（111）中“electricians”和“novels”都作判断的主项，“workers”和“books”都作谓项，四个概念都是普遍概念。实际上表示了S类的分子都是P类分子，S类被包含在P类中间，逻辑上称为包含于关系。判断这种包含于关系也是通过“be”来表示，判断中主项概念和谓项概念之间是有这种包含于关系的就可以用公式来表示：
④S＞P（＞读作包含于）
这里的S和P分别表示主项概念和谓项概念的类。因为S类被包含在P类中间，所以S类是P类的子类，P类为S类的母类。主项的“electricians”和“novels”被包含在谓项的“workers”和“books”之中。作为子类的S类和作为母项的P类，两者不必同一，因此，它们之间的逆关系不一定成立，不能简单换位。如要换位，必须对母类的原谓词加以限定。如“Some workers are electricians”。否则“Workers are electricians”就是错误的。
S＞P的意思就是凡是S类的分子都是P类分子。因此，从传统逻辑的角度来看，S＞P就是：所有S是P。在对等关系中S＝P公式，就是S＞P，并且P＞S。以下把上面三种关系列表加以小结。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
