目录
简介
简介
在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。泛函谓词有时也叫做映射，但是这个术语还有其他意义。在模型中，函数符号被建模为函数。