logical implication

基本解释

• [计] 逻辑蕴涵

同根派生

英汉例句

双语例句

• Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
  实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
• 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.
  语篇的联结手段是语篇分析中的一个重要环节。联结的方式多种多样，主要有：语法手段、词汇衔接、逻辑联系语及语用上与语义上的意涵等。
• 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的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。

权威例句

• 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.
  FORBES: Why Solar Energy Sucks But May Save Us Anyway

词组短语

短语

• modality of logical implication 蕴涵模态

专业释义

计算机科学技术

• 逻辑蕴涵
• 逻辑蕴含
• 逻辑隐含
• 逻辑内涵
• 逻辑隐含式

电子、通信与自动控制技术

• 逻辑蕴涵