的逻辑符号。泛函谓词有时也叫做映射，但是这个术语还有其他意义。在模型中，函数符号被建模为函数。特别是，在形式语言中的符号 "F" 是函数符号，如果给定任何表示在语言中的一个对象的符号 "x"，"F"("x") 也是表示这个语言中一个对象的符号。在有类型逻辑中，"F" 是带有域类型 T 和陪域类型 U 的函数符号，如果给定表示类型 T 的一个对象的任何符号 "x"，"F"("x") 也是表示类型 U 的对象的符号。你可以类似的定义多于一个变量的函数符号，类比于多于一个变量的函数；零 个变量的函数符号简单的