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