数理逻辑中"≐"符号的意思以及与"="的区别

问题描述:

数理逻辑中"≐"符号的意思以及与"="的区别

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