在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。泛函谓词有时也叫做映射，但是这个术语还有其他意义。在模型中，函数符号被建模为函数。特别是，在形式语言中的符号 "F" 是函数符号，如果给定任何表示在语言中的一个对象的符号 "x"，"F"("x") 也是表示这个语言中一个对象的符号。在有类型逻辑中，"F" 是带有域类型 T 和陪域类型 U 的函数符号，如果给定表示类型 T 的一个对象的任何符号 "x"，"F"("x") 也是表示类型 U 的对象的符号。你可以类