数学分析里面A蕴含B，记作：A⇒B（在逻辑学上记作A→B），其真值表如下（其中T为TRUE，F为FALSE）

显然上面A⇒B的真值表等价于下面两个结论：

仔细观察上面两个结论都用到了可能这个词语，笔者自创一个词叫可能域（只有两个值，可能和不可能）。在可能域上我们可定义一种关系叫拓扑包含，这种拓扑包含其实就是蕴含。注意到A和B要么相关要么不相关，当A和B相关时，这种拓扑包含就是一种简单包含关系。下面就分相关和不相关情况来验证上面的结论。

根据上面的结论翻译出两段话：

第Ⅱ显然，太阳都打西边出来了，还有啥不可能，是吧。

第Ⅰ，我们来反证一下，如果太阳打东边出来，那么牛脚有没有可能不是四只？常识来看显然不可能，所以反证成功。

所以这种情况结论显然验证。

根据上面的结论翻译出两段话：

按照普通逻辑思维，上面的结论显而易见。

所以这种情况结论显然验证。

画张图来描述上面这种简单包含关系，得出一个结论，如果A⇒B，则B的可能域要简单包含A的可能域。如下图我们可以看到，如果Danny不在A域，则可能在B域也可能在C域。