两个具有矛盾关系的概念的外延之和小于属概念的外延。

当SEP为假时，SAP真假不定。

判断题当SEP为假时，SAP真假不定。

证明就是说明事物客观性的判断。

判断题证明就是说明事物客观性的判断。

根据矛盾律，两个互相反对的判断必然有一个是真的。

判断题根据矛盾律，两个互相反对的判断必然有一个是真的。