一天，几个朋友聚在一起聊天。其中一位出了一道题让大家解答：“在什么情况下，一加一不等于二？”
其他人听了都有些摸不着头脑：“这是脑筋急转弯吗？比如把一只猫和一只老鼠关在一起，当猫吃掉老鼠后，结果就不等于二了。”
“不是脑筋急转弯，我问的是纯数学问题。”
大家议论纷纷，最后也没能给出一个合理的答案。
答案究竟是什么呢？从逻辑学的角度看，这个问题涉及充分条件假言命题的逻辑特性。
我们已经知道，在充分条件假言命题中，前件是后件的充分条件，这就意味着我们能够从前件为真直接推出后件也为真；所以，当前件为真、后件为假的时候，整个命题就必然是一个假命题。但是，当前件为假时，后件无论是真是假，整个命题都有可能是真的。也就是说，一个充分条件假言命题成立，当其前件为真时，后件必定为真；当其前件为假时，后件则可真可假。我们可以用下面的“真值表”来表示这种关系：
充分条件假言命题的真值表
从表中可以看出，在后件为假的情况下，一个充分条件假言命题要能够成立，其前件就必须也为假。就前面提到的问题而言，出题者实际上是在问：如何增加一个前件，使得以“一加一不等于二”为后件的充分条件假言命题为真？已知“一加一不等于二”是一个明显的假命题，为了使整个充分条件假言命题成立，我们只需要增加一个相关的假命题作为前件就可以了。
因此，我们可以这样来回答这个听上去有些让人摸不着头脑的问题：“如果一加二不等于三，那么一加一就不等于二。”当然，正如我们前面所分析的，这个问题可以有很多种答案，你完全可以把前件改为“一加三不等于四”等其他的假命题。
