rmula_3 是变量。
性质.向一元逻辑增加一个单一二元谓词字母将导致一个有完全谓词演算表达能力的系统。所以缺乏多元谓词严格的限定了在一元谓词演算中都能表达什么。不像完全谓词演算，这个演算是如此的弱，这个演算的一个给定公式是否有效（对于非空论域为真）是可判定性的。 因为一元谓词演算是可判定性的，它不胜任一般的数学推理，比如叫做皮亚诺算术的微型数学片段就已知是不可判定性的。尽管有上述缺陷，超越一元逻辑的需求没有得到赞赏，直到奥古斯都·德·摩根和查尔斯·皮尔士在十九世纪关于关系逻