... predicate language 谓词语言 predicate logic of first order 一阶谓词逻辑 predicate logic of higher order 高阶谓词逻辑 ...
双语例句
1
Predicatelogicoffirstorder is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
2
The access control rule of the ACBAC model is formalized by the firstorderpredicatelogic. The realization method of the model in business process management systems is also discussed.