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

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

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

相关推荐