logical language meaning in English
逻辑符号组
逻辑语言
Examples
- In order to made his theory of confirmation have exact rules , he constructed a first - order logical language system and gave the definitions and theorems to some important concepts such as state description , structure desciption and the range of state description etc . in the given language system , some functions such as m - function , c - function etc . collected with the theory of inductive confirmation are introduced , m - function is the basis of c - function
在构建的语言系统中，引入了测度函数m 、确证函数c ，其中测度函数是确证函数的基础，由语句所满足的状态描述的测度函数m值来确定确证函数c的值，研究了归纳确证问题。