谓词逻辑 meaning in Chinese
first-order logic
predicate logic
Examples
- Drs and the formula of first - order predicate logic
与一阶谓词逻辑公式 - On predicate logic ' s application in ai
谓词逻辑在人工智能中的应用 - A model representation method based on first order predicate logic
一种基于一阶谓词逻辑的模型表示方法 - Theory of quasi - truth degrees of formulas in two - valued predicate logic
一类二值谓词逻辑中公式的准真度理论 - Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊谓词逻辑公式的有限和可数解释真度理论