first-order predicate logic英式朗读美式朗读基本解释[计] 一阶谓词逻辑上一个单词:first-order predicate calculus下一个单词:first-order reaction