谓词变量 编辑
在一阶逻辑中，谓词变量是表示一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系。在一阶逻辑中它们可以被更合适的到叫做"元变量"。在高阶逻辑中谓词变量对应于"命题变量"，它可以表示同一个逻辑中的合式公式，而这种变量可以被通过二阶量词的方式来量化。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在逻辑中，一元谓词演算是所有谓词变量都是一元运算并且没有泛函谓词的谓词演算。所有原子公式都有形式



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

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



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

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



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

是变量。