一阶谓词演算英语怎么说

“一阶谓词演算”对应的英文单词有：first order predicate calculus ，一共1个，具体意思及用法如下：

first order predicate calculus一阶谓词演算