关于蕴含真值表的解释＜韦恩图＞＜C代码＞

A为假时B可真可假；
A为真时B一定为真，B为假则与命题相悖。

换句话说就是：
········A为真时B一定不能为假，所以这种情况相对于命题结果为False
········而其他情况对于命题都无所谓，所以相对于命题的结果都为True

画成韦恩图表示，三个True的情况叠加在一起就是A蕴含B的韦恩图，如下↓↓↓
注：左圈为A，右圈为B，圈内为真，圈外为假

辅以一段C代码帮助理解↓↓↓：

#include "stdio.h"
#define TRUE 1
#define FALSE 0
typedef int Status;int main(){Status A,B;printf("请输入B的真/假(1/0):>");scanf("%d",&B);/*当前状态就无关A、B真假*//*但如果不满足B，A一定不满足*//*而我们是可以不满足B的，因为可能不满足B的状态才是我们接下来要的状态*/if (B == TRUE){/*在这里时B已经满足了，A不一定满足*//*这种状态下A可以满足也可以不满足*/printf("请输入A的真/假(1/0):>");scanf("%d",&A);if (A == TRUE){/*在这里A一定满足*//*由此可以看出满足A就一定满足B*//*也就是说满足A蕴含着满足B,即A蕴含B*/puts("这里是A_TRUE_B_TRUE");}puts("这里是A_FALSE_B_TRUE");} else {puts("这里是A_FALSE_B_FALSE");}/*由此可见，不存在A_TRUE_B_FALSE，所以A真B假为FALSE,其他的情况为TRUE*//*并且A辨真假的条件完全可以和B辩真假的条件不相关，但是B却是A的必要条件，B不成立，A就一定不成立，但是用自然语言的因果顺承关系去描述A与B的“蕴含”关系就会出现读不通的情况*//*A和B就像游戏的两个关卡，他们完全可以不同类型，也可能相同类型，相同类型你就容易想到人类思维惯性上的联系，但如果你在关注这种联系的话其实你一开始的关注点就错了，倘若B关A关都是打倒一个怪物，你可以说打倒B关的怪物是来到A关的必要条件，人类正常思维很容易联想到B关的怪物是A关怪物的小弟，但是可能B关让你解一道数学谜题就通关了，然后到了A关依然让你打倒一个怪物，这时你不能说B关的谜题是A关怪物的小弟，自然语言阐述的话你得表述为“解答B关的谜题是来到A关的必要条件”，再换一种表述就是“通关B是来到A关的必要条件”所以我们关注的压根就不是两个事实的具体判定方法，我们关心的只是两个事实的真假结果（即事实成立与否），并且如果B是假，也就是B关不通过它就一定来不到A所以我们描述AB之间的蕴含关系时应当关注的不是具体的判定条件，我们只关心判定结果是否成立，成立就从B来到A接着判断A,B不成立干脆连A的边都挨不着*/
}

关于蕴含真值表的解释＜韦恩图＞＜C代码＞相关推荐

扩增子图表解读6韦恩图：比较组间共有和特有OTU或分类单元
作者: 刘永鑫日期:2017-7-1 阅读时长:10min 背景介绍(Introduction) 宏基因组学宏基因组学目前的主要研究方法包括:16S/ITS/18S扩增子.宏基因组.宏转录组和代谢 ...
R语言绘制不一样的韦恩图
image.png 韦恩图本来是不想说的,因为很简单,也有在线工具,然而还是有小伙伴询问如何制作韦恩图,那种韦恩图的元素大小用不同大小的圈表示,在线工具可以实现:http://www.biovenn. ...
RNA-seq结果图片如何解读（火山图、韦恩图、聚类热图和折线图）
在RNA-seq项目中,常见的结果包括:火山图.韦恩图.聚类热图.log2(ratios)折线图.有向无环图.散点图.代谢通路图.蛋白互作图等.今天我们先来一起学习火山图.韦恩图.聚类热图和折线图的解 ...
在线作图|如何画韦恩图（包含upset图）
韦恩图(包含upset图) 韦恩图(Venn diagram)用于展示在不同的事物群组(集合)之间的联系.R 语言中的维恩图绘制有很多包,Vennerable(最多9维),VennDigram(最多5 ...
宏基因组扩增子3统计绘图：中文首发,最详系,零基础(箱线图、散点图、热图、曼哈顿图、火山图、韦恩图、三元图、网络图)
本网内容首发"宏基因组"公众号,更佳阅读体验.更多相关文章,欢迎点我跳转至公众号阅读注:文为蓝色字均为文章链接,可点击直达写在前面优秀的作品都有三部分曲,如骇客帝国.教父.指 ...
扩增子统计绘图6韦恩图：比较组间共有和特有OTU或分类单元
本网对Markdown排版支持较差,对格式不满意的用户请跳转至或"宏基因组"公众号阅读: 写在前面优秀的作品都有三部分曲,如骇客帝国.教父.指环王等. 扩增子系列课程也分为三部 ...
R语言可视化韦恩图实战：VENN DIAGRAM
R语言可视化韦恩图实战:VENN DIAGRAM #韦恩图 # load Venn diagram package library("VennDiagram")# move to ...
韦恩图——帮助你更好地表达多个数据集合之间的相交关系
维恩图(Venn),也叫温氏图.维恩图.范氏图,用于显示元素集合重叠区域的图表.维恩图是关系型图表,通过图形与图形之间的层叠关系,来表示集合与集合之间的相交关系.一个完整的韦恩图包含三 ...
linux 韦恩图两个,如何使用R来绘制韦恩图（Venn Diagram）
2017.12.15日厦大生命科学前沿课上,一位博士师姐分享的一篇论文中,多次应用韦恩图,看起来特别美,于是特地去R语言官网阅读关于Venn Diagram的使用.从网上高手博客中看到一些例子,故敲一 ...

关于蕴含真值表的解释＜韦恩图＞＜C代码＞

关于蕴含真值表的解释＜韦恩图＞＜C代码＞相关推荐

最新文章

热门文章