若用符号表示严格的逻辑推理,必须定义几个谓词命题：
①、A（x）：x是罪犯,即x作案；
②、B（x）：x会开车；
然后用以上谓词表示各个“事实”命题：
最后用逻辑规则,推出结论.我们将山姆，汤姆，吉宁士三人分别表示为：a、b、c； 　　定义已知“事实”：（1）（存在x）【A（x）　且　B（x）】；——至少有一个罪犯会开车；（2）【非A（a）】→【非A（c）】；（3）【非B（b）】；（4）【A（a）　或　A（b）　或　A（c）】且（任意x）【x不属于｛a，b，c｝→非A（x）】；　　　　——罪犯必是a、b、c中的； 　　我们的目的就是根据这4个条件，判断【A（a）】的真假。 　　首先，根据（1）和（4）可以去掉量词：（5）【A（a）且B（a）】或【A（b）且B（b）】或【A（c）且B（c）】； 方法一：就是楼上所说的反证法，即证明：　　【非A（a）】与（2）、（3）、（5）是不相容的；证明：　　根据【非A（a）】、（2）可得：【非A（c）】；　　根据【非A（a）】、【非A（c）】、（5）可得：【A（b）且B（b）】；　　根据【A（b）且B（b）】、（3）可得矛盾；证毕；方法二：直接推理；　　根据（3）、（5）可得：【A（a）且B（a）】或【A（c）且B（c）】；——（6）　　根据（2）可得：【A（a）】或【非A（c）】；——（7）　　根据（6）、（7）可得：【A（a）且（B（a）或（A（c）且B（c）））】；即：A（a）总为真；　　B（a）和（A（c）且B（c））至少一个为真；即：　　或者a自己盗窃、自己开车；　　或者a、c共同犯罪，c开车；　　或者a、c共同犯罪，且a、c都会开车，但本次究竟是谁开的，就无法确定了；