当前位置:新励学网 > 秒知问答 > 离散数学函数与谓词的关系

离散数学函数与谓词的关系

发表时间:2024-08-22 12:27:56 来源:网友投稿

函数符号和谓词符号的区别

在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句

出时,n元函数符号f(x,y,z)是一个 D^n->

D 的函数

谓词符号:用带或不带下标的大写英文字母F,G,H来表示,当个体域D

免责声明:本站发布的教育资讯(图片、视频和文字)以本站原创、转载和分享为主,文章观点不代表本网站立场。

如果本文侵犯了您的权益,请联系底部站长邮箱进行举报反馈,一经查实,我们将在第一时间处理,感谢您对本站的关注!