TechTarget信息化 > 百科词汇

logical implication:逻辑包含

逻辑包含(logical implication)表明两个陈述或句子存在的关系。这种关系转成口头语言叫做“逻辑上包含”或者“如果就(if/then)”,这个符号由指向右的双线箭头(=>)表示。如果A和B存在这样的状态那么A=>B意思是A逻辑包含B或者如果A那么B。”包含”这个词用语极强可能性的情况。

  逻辑包含的一个例子是假设句子A和B由下面指定:A=天空是多云的。B=看不见太阳。

  在这种情况下,A=>B为真(假设我们正处于阴天状态下。)然而状态B=>A未必为真;也许是个无云的夜晚。逻辑包含(logical implication)一般不是双向的。然而如果两种装台都是反的情况下逻辑包含是可逆的。就是(A=>B)=>(-B=>-A)。

  用上面的情况作为例子,我们可以说如果可以看得到太阳,那么天空就没有云。这永远是真的。实际上两种状态A=>B和-B=>-A是逻辑相等的。同见逻辑相等和数学符号。

  另请参见逻辑等价(logical equivalence)。

最近更新时间:2008-06-17 EN

电子邮件地址不会被公开。 必填项已用*标注

敬请读者发表评论,本站保留删除与本文无关和不雅评论的权力。

相关推荐

  • 准备5G部署:CIO需要做的5件事情

    随着5G(第五代蜂窝网络技术)开始可用,大多数首席信息官都希望能够抓住5G的机会,并且,他们计划快速采取行动。 […]

  • 区块链部署的4个阶段

    Bill Caraher设想未来区块链技术将“证实并毫无疑问地证明”法律行业中使用的文件和合同的起源。而对于C […]

  • 3个重要步骤助你开启AI之旅

    每个IT问题都有学习曲线和临界点,以及顿悟时刻-即当解决方案出现时。在人工智能项目中,我也经历过同样的事情;例 […]

  • 效率与有效性:哪个先行?

    追求运营效率并不总能帮助企业。为削减成本,企业经常会缩减他们的知识工作者队伍,因为这些人的收入最高。但在这种成 […]