“谓词演算”的英语表达是 "predicate calculus"。此外，"first-order predicate calculus" 或 "first-order logic" 也是常见的说法，特指一阶谓词演算（一阶逻辑），这是数理逻辑中研究命题内部结构和量化关系的重要分支。