前言
数学分析里面A蕴含
B,记作:A⇒B
(在逻辑学上记作A→B
),其真值表如下(其中T为TRUE,F为FALSE)
A B A⇒B
T T T
T F F
F T T
F F T
结论
显然上面A⇒B的真值表等价于下面两个结论:
- Ⅰ. 如果A是真的,那么B必定是真的;
- Ⅱ. 如果A是假的,那么B可能为真也可能为假。
分析
仔细观察上面两个结论都用到了可能
这个词语,笔者自创一个词叫可能域
(只有两个值,可能和不可能)。在可能域
上我们可定义一种关系叫拓扑包含
,这种拓扑包含其实就是蕴含。注意到A和B要么相关要么不相关,当A和B相关时,这种拓扑包含就是一种简单包含关系。下面就分相关和不相关情况来验证上面的结论。
验证
1. A和B相关
A:太阳打东边出来(真) / 太阳打西边出来(假)。
B:牛脚有四只(真) / 牛脚不是四只(真)。
根据上面的结论翻译出两段话:
- Ⅰ. 如果太阳打东边出来,那么牛脚必定有四只;
- Ⅱ. 如果太阳打西边出来,那么牛脚可以是四只也可以不是。
第Ⅱ显然,太阳都打西边出来了,还有啥不可能,是吧。
第Ⅰ,我们来反证一下,如果太阳打东边出来,那么牛脚有没有可能不是四只?常识来看显然不可能,所以反证成功。
所以这种情况结论显然验证。
2. A和B不相关
A:Danny来过广州(真) / Danny没来过广州(假)
B: Danny来过中国 (真) / Danny没来过中国(假)
根据上面的结论翻译出两段话:
- Ⅰ. 如果Danny来过广州,那么Danny必定来过中国;
- Ⅱ. 如果Danny没来过广州,那么Danny可能来过中国也可能没来过中国。
按照普通逻辑思维,上面的结论显而易见。
所以这种情况结论显然验证。
拓展
画张图来描述上面这种简单包含关系,得出一个结论,如果A⇒B,则B的可能域要简单包含A的可能域。如下图我们可以看到,如果Danny不在A域,则可能在B域也可能在C域。