一元謂詞演算

在邏輯中 ， 一元謂詞演算是所有謂詞字母都是一元 （ 就是隻接受一個參數 ） 並且沒有函數字母的謂詞演算 。 所有原子公式都有形式 ， 這裏的 是謂詞字母而 是變量 。