一个是单纯的等号,另一个是恒等能证明一下∀x∀y(x≐y→y≐x)为永真式么？不是吧，太深奥了。没学过。大哥是读研还是数理系的？