Question

关于直言命题的真假包含关系

在直言命题的真假包含关系中，直言命题的主项和谓项在外延上存在全异关系时，全称否定命题(SEP）为假。
我对此存在异议，因为如果直言命题的主项和谓项在外延上是全异关系，即主项和谓项的外延没有任何包含或交叉关系，也就是说所有的S都不是P，反过来所有的P也不是S，那么对于全称否定命题就应该是真命题，例如：“大学生”与“中学生”这两个概念之间就具有全异关系，那么也就可以说：“所有的大学生都不是中学生”，同时“所有的中学生也不是大学生”，应该是成立的。然而理论上却说是假命题，我实在是想不明白，不知哪位高手能给予赐教，谢谢。
相关理论依据如下：
引用页：http://www.chinakao.cn/Article/gongwuyuan/zhidao/16835.html

直言命题的主项和谓项在外延上所存在的五种关系，决定了一个具体的直言命题的真假特征。列表如下：
全同关系
真包含
于关系
真包含
关系
交叉关系
全异关系
SAP
真
真
假
假
假
SEP
假
假
假
假
假
SIP
真
真
真
真
假
SOP
假
假
真
真
真

Answer 1

不对啊,SEP的关系不是这样的吗:
全同关系:假
真包含与关系:假
真包含关系:假
交叉关系:假
全异关系:真

你怎么会反过来说的?

SEP不可能出现全假的关系....你可以参考《普通逻辑学原理》一书。
PS：未必所有的课本都是正确的，阁下以为呢

正确的应该是这样的：
SAP
真
真
假
假
假
SEP
假
假
假
假
真
SIP
真
真
真
真
假
SOP
假
假
真
真
真

继续证明：
SAP跟SOP
SEP跟SIP
是具有矛盾关系的（参考“逻辑六角方阵图”）
如果SEP和SIP的全异关系都是是为假的话，那么SEP和SIP必然在全异关系重合，而不会产生矛盾关系，由此可以反推SEP和SIP不具有矛盾关系，从而证明：逻辑六角方阵图为假。
然而逻辑六角方阵图是正确的，所以，SEP跟SIP的全异关系都为假不成立，必有一真。
兄弟以为如何？