first-order predicate calculus 📖 中文释义 [计] 一阶谓词演算 ← first-order modal logic F 字母词表 first-order predicate logic →