形式逻辑的一个分支，也称为函数演算，它处理表示语句之间的逻辑连接以及语句本身。
谓词演算
另请参阅
哥德尔第一不完备性定理, 哥德尔第二不完备性定理, 逻辑, 谓词, 命题演算使用 Wolfram|Alpha 探索
请引用为
Weisstein, Eric W. "谓词演算。" 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/PredicateCalculus.html
主题
主题