数学分析里面的蕴含(⇒)到底是什么意思

前言：数学分析里面A蕴含B，记作：A⇒B（在逻辑学上记作A→B），其真值表如下：

A	B	A⇒B
	T	T	T
	T	F	F
	F	T	T
	F	F	T

(其中T为true，F为false)

分析：通过上面的真值表，我们可以简单得到如下的几个结论：

结论1 若A为F，无论B值是T或F，都可得到A⇒B为真。

结论2 要想A⇒B为真，只需验证不会出现A为T，B为F的情况。

深入：蕴含，其实是语意上比较弱的定义，A蕴含B，表示A包含B，更确切的，表示A如果为T则B有可能为T。就是说蕴含其实是一种包含关系，或者更确切的是一种可能域（可能域是笔者自创的词，B的可能域意指B是否可能发生，可能域只有可能和不可能两个值）的关系。注意到A和B有可能相关也有可能不相关，不难想象可能域的概念要比包含关系更泛，因为可能域可以描述A和B相关和不相关的情况，而包含只用于相关情况。（所以可以这么说：包含⇒可能域）。下面来验证一下上面两个结论。

1 A和B不相关，用可能域来验证。

a) 验证结论1：

A：太阳打西边出来（假）。

B：牛有八只脚（假） / 牛有四只脚（真）。

可以看到太阳打西边出来是假命题（都知道太阳是不可能打西边出来），这样可以断言A⇒B（A蕴含B），因为A为假命题的话讨论A⇒B真假就不需要看B的值了，可以想想，原本是假命题的如果成真了，逻辑乱套了，B自然有可能为真命题也有可能假命题。在这里可以表述为：如果太阳都打西边出来了，牛有可能有八只脚，当然也有可能有四只脚。（这其实就像讨论 1 || X，可以看到我们不用知道X，就能断言1 || X 为true。）（注意到我们这里用的是可能的概念。）

b) 验证结论2：

A：太阳打东边出来（真）。

B：牛有八只脚（假） / 牛有四只脚（真）。

在这里A是真命题，来看下面的表达：如果太阳打东边出来（显然），那牛有没有可能为八只脚。很显然没可能，因此是得不到A⇒B的。再来看：如果太阳打东边出来（显然），那牛有没有可能为四只脚（显然）。很显然可能，因此能得到A⇒B。可以看到想要A⇒B，只需要验证太阳打东边出来（真命题）时，不会出现假命题——牛有八只脚（假命题）的情况。这样得到了验证。

2 A和B相关，分两种情况。

a) 验证结论1：

这种情况只能运用不相关情况的可能域来判断，同上面A和B不相关的验证结论1同。

b) 验证结论2：

这种情况就可以运用包含的概念来描述了，特别地，包含关系可以画图表述。

A：Danny来过广州。

B：Danny来过中国。

这个可以用一张图来表述如下：

这样能清楚地看到Danny来过中国的可能域（这里的可能域值的是圆圈包含的范围）要比Danny来过广州的可能域要大。（所以可以断言A⇒B。）

再来看结论2，有没有可能在Danny来过广州的圈圈里时，不在Danny来过中国的圈圈里呢？很显然不可能，因此验证了结论2。

新写了一篇，可以更简单理解这个概念：