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