| 释义 |
function symbol
功能符号
A symbol denoting functions in the discourse of domain. For example, the function symbol “grandmother” could be used to denote the mapping between someone and his or her female grandparent. Function symbols are one of the elementary components of the predicate calculus language.
在域说明中指示功能的符号,例如,功能符号“祖母”可用以注明某人与他(或她)祖母 之间的关系。功能符号是谓词演算语言的一个基本组成部分。 |