全部

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

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

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

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

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

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

4·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.

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

5·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的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。

6·INFERENCE: a logical conclusion or a legitimate implication based on factual information.

推理：根据事实的信息而做出的逻辑性的推测或者是合情合理的暗示。

7·Implication refers to the semantic phenomena present in meaning but absent in discourse, It is different form the implication and connotation in the category of logical semantics.

隐含是指意思里有而话语里不出现的语义现象。它与逻辑语义范畴的蕴含、隐涵不同。