您现在的位置是:词典
谓词符号,predicate symbol
2023-04-07 21:02词典 人已围观
1)predicate symbol
谓词符号
2)denotation and predication of symbol
符号指谓
1.
It is a mode of consciousness peculiar to human being to know things by means of the denotation and predication of symbol.
异质性指事物间不同类不可比的现象,它通过符号指谓显现出来,并成为符号意识不可回避的问题。
更多例句>>
3)predicate symbol
谓语符号
4)predicate of character string
字符串谓词
5)lexical symbol
词法符号
6)quantifying symbol
量词符号
补充资料:谓词符号
谓词符号
predkate symbol
谓词符号[pred吮ate卿u由d;.p“阴KaT眼“c皿M.0几I, 谓词字母(predicate卜tter) 某些具体谓词或关系的一种记号.例如符号簇 常表示实数上的序关系;它是一个二元谓词.在语言 的形式结构中,表示谓词的符号必被用到,它以一种 良定义的方式,用于构造语言的表达式.特别地,如果 尸是一个n元谓词符号,那么以下规则应为在形式.化语言中构造表达式的语法规则之一二“如果t、,’“, t。是项,那么尸(t,,…,t。)是一个公式’.因此, 谓词符号在语法上用于构造公式,在语义上表示谓词.【补注】谓词符号亦称为关系符号(relations卿bol).
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
谓词符号,predicate symbol
其他推荐
循环连分数,recurring continued fraction
1)recurring continued fraction 循环连分数 1. In the paper,I research into the relation between t...射有限群,pro finite group
1)pro finite group 射有限群 2)affine rational transformation 仿射有理变换 3)bilinear mappin...正割法,the secant method
1)the secant method 正割法 1. On the convergence of the secant method in Banach space; Banach空间正...约化代数,reduced algebra
1)reduced algebra 约化代数 2)reductive Lie algebra 约化李代数 1. In this note,we gained a fo...