反对关系、矛盾关系是矛盾律起作用:必有一假.
矛盾关系、下反对关系是排中律起作用:必有一真.
差等关系:上真下必真(公理:如果断定对象的全部,也就断定了对象的部分);下假上必假:是(公理:部分不具有的属性,全体也不具有.)