字1 字21 字41 字61 字81 字101 成语1 成语21 成语41 成语61 成语81 成语101 词语1 词语101 词语201 词语301 词语401 词语501 词语601 单词1 单词21 单词41 单词61 单词81 单词101 诗词1 诗词101 诗词201 诗词301 诗词401 诗词501 诗词601 诗人1 诗人21 诗人41 诗人61 诗人81 诗人101 名句1 名句21 名句41 名句61 名句81 名句101 近反义词1 近反义词21 近反义词41 近反义词61 近反义词81 近反义词101 造句1 造句101 造句201 造句301 造句401 造句501 造句601 字笔顺1 字笔顺21 字笔顺41 字笔顺61 字笔顺81 字笔顺101 歇后语1 谜语1 谜语11 谜语21 文言文1 文言文2 文言文3 百家姓1 百家姓2 百家姓3
单词大全
单词
当前位置:首页单词大全 logical implication
logical implication
单词基本解释
n.逻辑隐含
英英释义
Noun:
  1. a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

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

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

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.

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

An analysis and discussion is also made on the conceptual proposition, deductive construction and logical implication.

分析讨论了元极学的概念命题演绎结构与逻辑特征.

近义词
临近词

相关推荐

Top