“谓词演算”的英语表达是 "predicate calculus" ，也可写作 "predication calculus"（不过 "predicate calculus" 是更为常用和标准的表述） 。它是在命题逻辑的基础上进一步发展起来的一种逻辑系统，用于更精确地描述和推理包含个体、谓词和量词的陈述。