一元谓词演算

在逻辑中，一元谓词演算是所有谓词字母都是一元（就是只接受一个参数）并且没有函数字母的谓词演算。所有原子公式都有形式 ，这里的 是谓词字母而 是变量。