这个规则的“大白话”版本就是:“不管走哪条路,都能到同一个地方,那我们肯定能到那个地方。”
我们把这个规则想象成一个周末计划:
p V q
p -> r
(看电影 -> 开心)q -> r
(去公园 -> 开心)好了,现在把这三个前提放在一起想一想:
既然你这个周末只有“看电影”和“去公园”这两种选择,而且无论你选哪个,结果都是“开心”。那么我们可以得出什么结论 (Conclusion)?
结论:所以,你这个周末一定会很开心!
r
这个推理过程就叫做 分情况讨论 (proof by division into cases)。我们把所有可能性(情况一、情况二)都检查了一遍,发现它们都指向同一个结果。因此,这个结果就必然会发生。这个推理方法是非常严谨和靠谱的,所以它是一个有效的 (valid) 论证。