如何发现逻辑上的矛盾