逻辑联结词

逻辑联结词

逻辑联结词

词典逻辑联结词什么意思

网络L

词典逻辑联结词

网络l

词典逻辑联结词是什么意思

网络l

逻辑联结词 网络解释

1. danci.911cha.com

1. logic connective:逻辑 logic | 逻辑联结词 logic connective | 或 or

2. logical connective:逻辑 logical | 逻辑联结词 logical connective | 或 or

逻辑联结词 双语例句

1. 文中还定义了逻辑联结词的运算和公式的语义模型。
    It also defines the operation of logical connectives and the semantic model of the formula.

2. \u0064\u0061\u006E\u0063\u0069\u002E\u0039\u0031\u0031\u0063\u0068\u0061\u002E\u0063\u006F\u006D

2. 借助于软件工程中“由粗到细,逐层分解”的思想,定义了对各种逻辑联结词进行处理的基本模型。
    Based on the idea of " analyze stage by stage, from coarse to minute " in software engineering, the basic models of processing all kinds of logic connectives are defined.

3. danci.911chaxun.com

3. 特别值得提出的是,与其它为研究逻辑系统而引入的代数结构不同,蕴涵代数是对一个逻辑联结词,即蕴涵算子抽象而得到的,其它算子均是由蕴涵算子诱导而得到。
    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.

4. \u0064\u0061\u006E\u0063\u0069\u002E\u0039\u0031\u0031\u0063\u0068\u0061\u002E\u0063\u006F\u006D

4. 而这种基本粒被当做这种逻辑中的一个G原子,用G逻辑联结词组合这些G原子便得到这种逻辑中的G公式。
    And the elementary granules are used as G - atoms in the logic. A G - formula in the logic is combined by the G - atoms with granular logical connectives.

5. 911chaxun查询·英语单词

5. 在将命题符号化时,逻辑联结词的正确使用最为关键。
    And when making the proposition into symbolized, it is the most key to use logical connectives correctly.

6. 借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。
    Based on the idea of "analyze stage by stage, from coarse to minute" in software engineering, the basic models of processing all kinds of logic connectives are defined.

7. \u0064\u0061\u006E\u0063\u0069\u002E\u0039\u0031\u0031\u0063\u0068\u0061\u002E\u0063\u006F\u006D

7. 借助于软件工程中“由粗到细,逐层分解”的思想,定义了对各种逻辑联结词进行处理的基本模型。
    Based on the idea of " analyze stage by stage, from coarse to minute " in software engineering, the basic models of processing all kinds of logic connectives are defined.