logical implication中文，logical implication的意思，logical implication翻译及用法

2026-04-13 16:07 浏览次数 22

logical implication

英[ˈlɔdʒikəl ˌɪmpliˈkeiʃən]美[ˈlɑdʒɪkəl ˌɪmplɪˈkeʃən]

[计] 逻辑蕴涵

logical implication 英语释义

英语释义

  • a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

logical implication 例句

英汉例句

  • Connectivity is an important part of discourse analysis. There are many kinds of connectivity, such as grammatical device, lexical cohesion, logical implication and so on.

    语篇的联结手段是语篇分析中的一个重要环节。联结的方式多种多样，主要有：语法手段、词汇衔接、逻辑联系语及语用上与语义上的意涵等。

  • Due to complicacy of DTD, it is difficult to study the logical implication of XFD.

    由于DTD的复杂性，使得XFD的逻辑蕴涵问题研究比较困难。

  • Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.

    在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。

  • Coding DTD can test the logical implication problem of XML function dependency in linear time.

    编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。

  • Material and logical implication coincide in the classical logic, however they do not coincide in every logics.

    实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。

相关热词