数理逻辑中"≐"符号的意思以及与"="的区别
问题描述:
数理逻辑中"≐"符号的意思以及与"="的区别
答
一个是单纯的等号,另一个是恒等能证明一下∀x∀y(x≐y→y≐x)为永真式么?不是吧,太深奥了。没学过。大哥是读研还是数理系的?
数理逻辑中"≐"符号的意思以及与"="的区别
一个是单纯的等号,另一个是恒等能证明一下∀x∀y(x≐y→y≐x)为永真式么?不是吧,太深奥了。没学过。大哥是读研还是数理系的?