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