#李达森[超话]# 主流通识逻辑教材中，概念外延关系仅划分六种，且均未明确概念域W及其范围。而逻辑域理论明确界定了概念域W，并以文恩图系统刻画了同一论域内的三类七种外延关系：

1）相容不交叉关系：全同关系、真包含于关系、真包含关系；
2）相容交叉关系：纯交叉关系、下反对关系（该关系由徐明良在1993年公开发表的论文中首次增补）；
3）全异不相容关系：反对关系、矛盾关系。

当全称肯定命题 SAP（所有S都是P） 为真时，数理逻辑的通行解释允许主项S为空概念。然而，若S可以为空，S与P之间的概念外延关系根本无法在文恩图中合法、自洽地呈现。仅依靠口头说辞虚构出一套理论体系，完全脱离图示实证与逻辑直观，显然是不切实际的伪逻辑。