判断题 排中律的公式是：“A或者非A”。

判断题 根据不矛盾律，可以由一个判断真，推出与其具有反对关系的判断真。

判断题 矛盾律本身可以解决真或假的问题。