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