有一句话叫作“天下乌鸦一般黑”，我们姑且不去探究它的引申含义，仅仅将其看作一个逻辑学上的归纳命题。那么，要如何证明这一命题为真呢？显然，根据归纳法的性质，除非我们把所有的乌鸦都抓来看过，否则要完全证明这个命题为真是不可能的；而且，我们也不能保证已经抓尽了天下所有的乌鸦。不过我们还是能够提高这个命题的可靠性，也就是增加它的可信度。最容易想到的办法就是去大自然中寻找乌鸦，每多找到一只黑色的乌鸦，该命题的可信度就增加一分。然而，我们也大可不必如此辛苦地去寻找乌鸦，因为从逻辑学上讲，一只白猫也能证明“天下乌鸦一般黑”！
我们已经知道，可以判断真假的语句叫作命题。如果有两个命题，其中一个命题的条件和结论分别是另一个命题的结论和条件的否定，那么这两个命题就互为“逆否命题”。在逻辑学上，原命题和其逆否命题为等价命题，即如果原命题成立，则其逆否命题也成立。
比如“天下乌鸦一般黑”这个命题，按照定义，它的逆否命题是“凡是不黑的东西都不是乌鸦”。这两个命题是一对等价命题。也就是说，如果“天下乌鸦一般黑”为真，那么“凡是不黑的东西都不是乌鸦”也为真，反之亦然。这就意味着，如果我们要证明“天下乌鸦一般黑”为真，那么去证明“凡是不黑的东西都不是乌鸦”也能达到同样的目的。如何证明“凡是不黑的东西都不是乌鸦”呢？显然，如果我们遇见一只白猫，无疑就能够增加这个命题为真的概率，同时也就增加了“天下乌鸦一般黑”这个原命题为真的概率。
所以，从逻辑学的角度来看，遇见一只白猫就能够略微增加“天下乌鸦一般黑”这一命题为真的可能性。这听起来很有趣吧？
