泛函谓词 在形式逻辑和相关的数学分支中泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号泛函谓词有时也叫做映射但是这个术语还有其他意义在模型中函数符号被建模为函数 特别是在形式语言中的符号 F 是函数符号如果给定任何表示在语言中的一个对象的符号 xFx 也是表示这个语言中一个对象的符号在有类型逻辑中F 是带有域类型 T 和陪域类型 U 的函数符号如果给定表示类型 T 的一个对象的任何符号 xFx 也是表示类型 U 的对象的符号你可以类似的定义多于一个变量的函数符号类比于多于一个变量的函数零 个变量的函数符号简单的是一个常量符号 现在考虑这个形式语言的模型它带有类型 T 和 U 被建模为集合 T 和 U而类型 T 的每个符号 X 被建模为 T 中的元素 x则 F 可以被建模为集合  F      x    F  x      x    T    displaystyle Fbig xFxxin mathbf T big  它简单的是带有域 T 和陪域 U 的一个函数Fx  Fy 只要 x  y 是一致性模型的要求