将“predicate logic"翻译成中文
谓词逻辑是将“predicate logic"翻译成 中文。
predicate logic
noun
语法
(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. [..]
-
谓词逻辑
subfield of logic
-
显示算法生成的翻译
将“ predicate logic "自动翻译成 中文
-
Glosbe Translate
-
Google Translate
类似于 "predicate logic" 的短语,可翻译成 中文
-
謂詞 · 谓词
添加示例
加