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

	A	B	A?B
	T	T	T
	T	F	F
	F	T	T
	F	F	T

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

结论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。