分情形证明── 一种常用的思维方法

摘要

在众多的逻辑推理问题的解决方法中，除了我们在《思维与智慧》９８年第６期的“求婚、辩人和断案中的推理”一文中谈到的排除法以外，还有一种经常运用的思维方法，这就是分情形证明。与排除法相比，分情形证明是一种直接推导方法，从逻辑推理上来看，它是二难推理或多难推理的运用。下面我们以两个例子来加以说明。例１．在美国芝加哥，有一家大百货商店被人盗窃了一批贵重财物，警察局经过侦察，拘捕了三个重大嫌疑犯，他们是山姆、汤姆、吉宁士。后来经过审问，查明了如下事实：（１）罪犯是带着赃物驾车逃掉的。（２）不伙同山姆，吉宁士决不会作案。（３）汤姆不会开汽车。（４）罪犯就是这三个人中的一个或一伙。请问：在这个案子里，山姆有