Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
youdao
应用推荐
模块上移
模块下移
不移动