1+1在什么情况下不等于2__________逻辑上的奇特事

昨天心血来潮，找了本数理逻辑来学，结果被有一有趣的问题给难住了。

　　1+1在什么情况下不等于2？

　　看过赵本山小品的人都知道，答案是在算错的情下。这是一个条件语句，可以表述成以下的形式：如果（我）算错了，那么1+1不等于2。

　　根据常理，我们知道这一语句是真的。但问题并不这么简单。

　　现在让我们用数理逻辑的方法来分析一下这一语句的真假。我们用P来表示“（我）算错了”，用Q来表示“1+1不等于2”。那么语句“如果（我）算错了，那么1+1不等于2”可简化为：。现在我确实算错了，那么“（我）算错了”就是真的，而“1+1不等于2”无疑是假的。这就是说，前件P为真而后件Q为假。根据数理逻辑的规则，条件语句P→Q是假的！

　　即，“如果（我）算错了，那么1+1不等于2”是假的！

　　这个结论并不难理解：有“我算错了”这么回事，但如果因为有这么回事而得出“1+1不等于2”的结论，当然是错误的。但这显然又与我们前边的结论相矛盾。

　　问题出在哪里呢？

　　是因为“（我）算错了”既可以自身作为前件，又可以以其隐含意义作为前件。当它自身不作前件时，它隐含的前件是“我算错了”的所有可能情况。即1+1=3或1+1=5，等等。这样，前件值为假，语句“如果（我）算错了，那么1+1不等于2”显然是真的。

　　当它自身作前件时，它表示的是存在“我算错了”这么一回事。那么当确实存在这么一回事，即“我算错了”为真时，语句“如果（我）算错了，那么1+1不等于2”显然是假的。

　　我以上的分析对吗？如果对，那么除了像“我算错了”和“我算对了”这样的例子外，还有没有其它的既可以自身作前件，又可以以其隐含意义作前件的情况？这种情况的一般表述又是什么呢？

　　哪位高手给解答一下。