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



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

是变量。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
向量逻辑是一种建基于矩阵的逻辑数学模型。它假设逻辑真值可成为一种向量，而一元谓词演算和二元谓词演算皆以矩阵的算法进行。
零阶逻辑是在与布尔函数、一元谓词演算、命题逻辑或句子逻辑有关主题的从业人员中流行的术语。使用这个术语的好处是它确立了更高的抽象层次，在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容。