命题逻辑和谓词逻辑的关系 离散数学 函数与谓词的关系?
离散数学 函数与谓词的关系?函数符号和谓词符号的区别在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句函数符号:用带或不带下标的小写英文字母x,y,