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

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

题目
函数符号和谓词符号的区别
在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句
函数符号:用带或不带下标的小写英文字母x,y,z,...来表示,当个体域D给
出时,n元函数符号f(x,y,z)是一个 D^n->D 的函数
谓词符号:用带或不带下标的大写英文字母F,G,H来表示,当个体域D
给出时,n元谓词符号F(x,y,z)是一个D^n->{0,1}的函数
我只在题目中见到谓词符号的运用,不知这函数符号和它有什么区别,分别什么时候用,请有通俗的语言讲解一下,
可这是计算机的基础课程
答案
谓词符号是定义域D 值域{0,1}的映射
函数符号是D到D的映射
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
热门考点

超级试练试题库

© 2017-2019 超级试练试题库,All Rights Reserved.