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