first order predicate calculus英式朗读美式朗读基本解释[计] 一阶谓词演算上一个单词:first order phase transition下一个单词:first order reaction