函数符号和谓词符号的区别在离散数学.数理逻辑.谓词逻辑.谓词逻辑中的合法符号中有这两句函数符号:用带或不带下标的小写英文字母x,y,z,...来表示,当个体域D给出时,n元函数符号f(x,y,z)是

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

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

　　函数符号:用带或不带下标的小写英文字母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}的函数

　　我只在题目中见到谓词符号的运用,不知这函数符号和它有什么区别,分别什么时候用,请有通俗的语言讲解一下,

　　可这是计算机的基础课程