若用符號(hào)表示嚴(yán)格的邏輯推理,必須定義幾個(gè)謂詞命題：
①、A（x）：x是罪犯,即x作案；
②、B（x）：x會(huì)開車；
然后用以上謂詞表示各個(gè)“事實(shí)”命題：
最后用邏輯規(guī)則,推出結(jié)論.我們將山姆，湯姆，吉寧士三人分別表示為：a、b、c； 　　定義已知“事實(shí)”：（1）（存在x）【A（x）　且　B（x）】；——至少有一個(gè)罪犯會(huì)開車；（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中的； 　　我們的目的就是根據(jù)這4個(gè)條件，判斷【A（a）】的真假。 　　首先，根據(jù)（1）和（4）可以去掉量詞：（5）【A（a）且B（a）】或【A（b）且B（b）】或【A（c）且B（c）】； 方法一：就是樓上所說的反證法，即證明：　　【非A（a）】與（2）、（3）、（5）是不相容的；證明：　　根據(jù)【非A（a）】、（2）可得：【非A（c）】；　　根據(jù)【非A（a）】、【非A（c）】、（5）可得：【A（b）且B（b）】；　　根據(jù)【A（b）且B（b）】、（3）可得矛盾；證畢；方法二：直接推理；　　根據(jù)（3）、（5）可得：【A（a）且B（a）】或【A（c）且B（c）】；——（6）　　根據(jù)（2）可得：【A（a）】或【非A（c）】；——（7）　　根據(jù)（6）、（7）可得：【A（a）且（B（a）或（A（c）且B（c）））】；即：A（a）總為真；　　B（a）和（A（c）且B（c））至少一個(gè)為真；即：　　或者a自己盜竊、自己開車；　　或者a、c共同犯罪，c開車；　　或者a、c共同犯罪，且a、c都會(huì)開車，但本次究竟是誰開的，就無法確定了；