The classical proposition logic is the basis of modern formal logic.
经典命题逻辑是现代形式逻辑的基础。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
应用推荐