[计] 逻辑蕴涵
a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
同义词： implication / conditional relation
逻辑蕴涵-引用次数：6
逻辑蕴含-引用次数：1
参考来源XML函数依赖的传播与保持的研究
逻辑隐含
逻辑内涵
逻辑隐含式
逻辑蕴涵
本示例使用 Imp 运算符来做两个表达式结果的逻辑隐含式（logical implication）。
2、平凡依赖（Trivial Dependency） 3、逻辑蕴涵（Logical Implications） 设R(U)是属性集U上的关系模式，F是R上的函数依赖集合，如果对于R的任意一个使F成立的关系实例r，函数依赖X→Y均成立，则称F逻...
逻辑蕴含（logical implication）指的是，假如我信任条件，但不相信 论断，就会造成抵触。
... 逻辑因子 logical factor 逻辑隐含 logical implication 逻辑右移 shift right logical ...
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.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
The logical implication of this cost-benefit calculus is that solar energy should receive considerably less support from environmental advocates than more mundane technologies like combined heat-and-power or district energy.