又是 P”，后者被解释为“有些东西既是 S 又是非 P”，在 S 不存在的时候这二者明显是假的。所以，在全称和存在陈述之间的蕴涵联系也不再成立，因为对于一个不存在的 S，为真的“所有 S 都是 P”，不蕴涵为假的“有些 S 是 P”。亚里士多德的对立四边形中，只有矛盾联系保持有效。