first-order dynamic logic英式朗读美式朗读基本解释[计] 一阶动态逻辑上一个单词:first-order differential equation下一个单词:first-order equation