泛函谓词 编辑
在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。泛函谓词有时也叫做映射，但是这个术语还有其他意义。在模型论中，函数符号被建模为函数。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在逻辑中，一元谓词演算是所有谓词变量都是一元运算并且没有泛函谓词的谓词演算。所有原子公式都有形式



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

是变量。
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式，它本质上断言一个集合在一个泛函谓词下的像也是一个集合。它对于构造特定的大集合是必需的。
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式，它本质上断言一个集合在一个泛函谓词下的像也是一个集合。它对于构造特定的大集合是必需的。
在逻辑中，一元谓词演算是所有谓词变量都是一元运算并且没有泛函谓词的谓词演算。所有原子公式都有形式



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

是变量。
在逻辑中，一元谓词演算是所有谓词变量都是一元运算并且没有泛函谓词的谓词演算。所有原子公式都有形式



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

是变量。