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
相关推荐
-
Nutanix新CEO优先事项:软件转型
Nutanix和VMware正在争夺超融合基础架构软件市场。Nutanix公司新任首席执行官Rajiv Ram […]
-
实现云计算财务收益的5种方法
大多数企业仍在将工作负载从数据中心迁移到云端。尽管通常省钱不是这种迁移的主要目的,但是如果能省钱,又可更好地扩 […]
-
企业成功实现数字化转型的4个实例
数字化转型不仅仅涉及部署数字技术,还需要做更多的工作。在很多成功实现数字化转型的企业中,我们学习到一件事,那就 […]
-
RPA有哪些优点和缺点?
信用合作社服务组织PSCU这几年专注于企业发展,该公司将机器人过程自动化视为可帮助其扩展的工具之一。因此,该公 […]