一元谓词演算维基百科,自由的 encyclopedia 在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式 P ( x ) {\displaystyle P(x)} ,这里的 P {\displaystyle P} 是谓词字母而 x {\displaystyle x} 是变量。
在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式 P ( x ) {\displaystyle P(x)} ,这里的 P {\displaystyle P} 是谓词字母而 x {\displaystyle x} 是变量。