数理逻辑中→ 和╞之间的区别是什么?

问题描述:

数理逻辑中→ 和╞之间的区别是什么?

前面那个符号是语言的一个组成部分,后面那个不是,只是一个方便的记号而已.一公式A,A可以包含前面那个符号,该公式A在某一个解释I下为真,就弄个方便的记号,简单记做I╞A 你得弄明白哪些东西属于语言,哪些是对该语言的...多谢老兄指点。这个问题其实来自于一个令我十分迷惑的问题,以下是原题(包括括号中的提示):假定 u 为x