排中律的公式：A或者非A,在同一思维过程中,不能对两个具有互相矛盾或者相互下反对关系的思想同时予以否定而必须承认其中至少一个真.
不矛盾公式：A不是非A在同一思维过程中,不能对两个具有互相矛盾或者相互下反对关系的思想同时确认为真,而必须指出其中至少一个是假!