的一阶谓词逻辑英语怎么说

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

first order logic的一阶谓词逻辑