公众科技网认证
函数符号和谓词符号的区别
在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句
出时,n元函数符号f(x,y,z)是一个 D^n->
D 的函数
谓词符号:用带或不带下标的大写英文字母F,G,H来表示,当个体域D
我是公众科技网的签约作者“自学习”!
希望本篇文章《离散数学 函数与谓词的关系》能对你有所帮助!
本站[公众科技网]内容主要涵盖:教育,学历提升
本文概览:函数符号和谓词符号的区别在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句出时,n元函数符号f(x,y,z)是一个 D^n->D 的函数谓词符号:用带或不带下标的大写英文字母F,G,H来表示,当个体域D
评论列表(4条)
我是公众科技网的签约作者“自学习”!
希望本篇文章《离散数学 函数与谓词的关系》能对你有所帮助!
本站[公众科技网]内容主要涵盖:教育,学历提升
本文概览:函数符号和谓词符号的区别在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句出时,n元函数符号f(x,y,z)是一个 D^n->D 的函数谓词符号:用带或不带下标的大写英文字母F,G,H来表示,当个体域D