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问题都有学习曲线和临界点，以及顿悟时刻-即当解决方案出现时。在人工智能项目中，我也经历过同样的事情；例 […]
-
效率与有效性：哪个先行？
追求运营效率并不总能帮助企业。为削减成本，企业经常会缩减他们的知识工作者队伍，因为这些人的收入最高。但在这种成 […]