[数]?谓词符号
...概念; 函数符号(Function Symbol):通常以小写字母或小 函数符号 : 写字母串表示; 写字母串表示; 谓词符号(Predicate Symbol):通常以大写字母或大 谓词符号 : 写字母串表示。 写字母串表示。
?述词符号
... 述词逻辑 predicate logic 述词符号 predicate symbol 述词使用 predicate use ...
谓词符号
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。