蕴涵

蕴涵_4分词条

 

目录 [隐藏]

蕴涵 解释

       

在充分条件假言判断中:如果P,那么Q,可以表示为P→Q

P称为前件(条件),Q称为后件(后果),“→”这个符号,逻辑叫做“蕴涵

蕴涵 举例

       

蕴涵式中,只有当前件真后件假时整个假言判断为假,其余均为真。

真假值如下表:

  P     Q     P→Q

  真    真       真

  真    假       假

  假    真       真

  假    假       真


编程语言中,蕴涵逻辑运算符通常是Imp代码

附图

上传图片 

互动百科的词条(含所附图片)系由网友上传,如果涉嫌侵权,请与客服联系,我们将按照法律之相关规定及时进行处理。如需转载,请注明来源于www.hudong.com

被引用: 蕴涵已被如下媒体引用 我来补充
开放分类: 我来补充
数学术语
术语

讨论区

更多>>

编辑者

共3人协作

相关词条

缺省逻辑
运算器
EOS
谓词逻辑
假言直言推理
一阶逻辑
OLLYDBG
《香港粤语语法研究》
模块测试
西方逻辑史
更多

英译

Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有