Question

当你把所有不可能去掉之后，剩下的部分，无论看起来多么不可思议，都是真相。

——夏洛克·福尔摩斯（Sherlock Holmes）

在接触正式的逻辑之前，不妨先考虑下列陈述：

原命题：只要努力工作，你就会成功。

• 陈述 1：如果你已经成功了，那说明你工作很努力。
• 陈述 2：如果工作不努力，你就不会成功。
• 陈述 3：如果你没成功，那说明你工作不努力。

上述哪句陈述是原命题的逻辑推论呢？

仔细想想，你会发现，陈述 1 未必是正确的。“你成功了”这件事（且不管“成功”的定义是什么）并不意味着你一定付出努力了。成功也可能有其他途径，比如说你可能很有天分，很有背景，或者只是很幸运。

同样，陈述 2 也未必正确。不能因为你工作不努力就断定你一定不会成功。正如之前所说，你可能很有天分，很有背景，或者很幸运，所以就算不努力，你依然可能成功。

但陈述 3 却是原句的完美推论。如果你不成功，那说明你没努力。当然，这并不意味着你的“不成功”没有其他原因。比如说，可能你既不聪明，也没有背景，也不够幸运，所以就算努力了，你依然没有成功。