具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
It can contain classic quantified modal logic and it is flexible and tolerated.
经典命题逻辑是现代形式逻辑的基础。
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.
应用推荐