问问题描述
离散数学 函数与谓词的关系,求快速回复,真的等不了了!
答精选答案

函数符号和谓词符号的区别
在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句
出时,n元函数符号f(x,y,z)是一个 D^n->D 的函数
谓词符号:用带或不带下标的大写英文字母F,G,H来表示,当个体域D
本文来自作者[M佳依Y]投稿,不代表公众科技网立场,如若转载,请注明出处:https://www.cpst.net.cn/xuelitisheng/202609/325972.html
评论列表(4条)
我是公众科技网的签约作者“M佳依Y”!
希望本篇文章《离散数学 函数与谓词的关系》能对你有所帮助!
本站[公众科技网]内容主要涵盖:教育咨询,知识百科
本文概览:函数符号和谓词符号的区别在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句出时,n元函数符号f(x,y,z)是一个 D^n->D 的函数谓词符号:用带或不带下标的大写英文字母F,G,H来表示,当个体域D