一阶谓词逻辑的英文

“一阶谓词逻辑”对应的英文单词有：

[计] first-order predicate logic

与一阶谓词逻辑相关的短语

一阶模糊谓词逻辑First-order Fuzzy Predicate Logic

分布一阶谓词逻辑distributed first-order predicate logic

的一阶谓词逻辑FOL;first order logic