由于DTD的复杂性，使得XFD的逻辑蕴涵问题研究比较困难。
Due to complicacy of DTD, it is difficult to study the logical implication of XFD.
编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。
Coding DTD can test the logical implication problem of XML function dependency in linear time.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
In the knowledge implication propositional logic system which build on this strategy, 1.
根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。
According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.
提出了古典逻辑中的一些缺陷，分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。
While pointing out some defects of classical logic, the paper attributes them to substantial implication being directly applied to inference.
在语用学和逻辑学领域中，蕴涵是一个很重要的概念。
Entailment is a very important concept in the field of pragmatics and logics.
因此，我们引进了一种新的寻找逻辑蕴涵的方法，该方法的灵感来自于单通道演绎故障的模拟算法。
Therefore, an improved logic implication algorithm has been proposed, which was inspired by the by the single pass deductive fault simulation algorithm.
解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义，同时分析它们的形式和用法。
This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
二者构成唯物史观的基本立场和原则方法，并以思维着的形式蕴涵于《1844年经济学-哲学手稿》的深层逻辑当中。
They constitute the basic positions and methods of Historical Materialism and are contained in the deep logic of "the Economic and Philosophical Manuscript in 1844".
数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。
The implication of the mathematical logic is not the scientific abstract of sufficient conditional relation, thus an implication paradox appears.
制度设计在逻辑上蕴涵了制度文明的价值追求，它是实现制度文明的基本途径。
It is the logical value of institutional design. It is the approach of political civilization.
因此，对于无限这个数学概念，或者是，像逻辑蕴涵这样的逻辑概念，超出了该年龄阶段儿童的理解范围。
So the mathematical notions of infinity or logical notions like logical entailment are beyond a child of this age.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。
The definition of establishment of mutually inverse proper implication in mutually-inversistic logic is the same as that of material implication in classical logic, but their meanings are different.
转折复句的内层蕴涵是指在转折复句的转折关系中所蕴涵的逻辑思维形式。
The interior connotation of the complex sentence of turn refers to the logical thinking contained in the turning relation of the complex sentence of turn.
实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若，则”的逻辑抽象。
Material implication, which describes a kind of truth value function, is naturally not the logic abstract of the sufficient condition relation.
蕴涵算子是逻辑学研究中的重点和难点。
The study of implication operator is important and difficult in the study of logic.
艺术与科学有着不可分割的关系，科学渗透着丰富的艺术思维，艺术蕴涵着缜密的逻辑思维。
Science and art are indivisible. Science embodies plenty of art thinking and art contains reasonable logic thinking.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
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的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
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.
应用推荐