逻辑联结词 meaning in Chinese
logic connective
logical connectives
Examples
- Difference from other algebraic structures which are introduced for some logic system , implication algebra is a abstraction of one logic connective , i . e . implicative operator , and other operators in it are all introduced by implicative operator . the main results of this paper is given as the following : 1
特别值得提出的是,与其它为研究逻辑系统而引入的代数结构不同,蕴涵代数是对一个逻辑联结词,即蕴涵算子(蕴涵逻辑联结词)抽象而得到的,其它算子均是由蕴涵算子诱导而得到。