求这道逻辑题的逻辑式逻辑式即用逻辑符号来表达推理过程我会推理但不会逻辑式在美国芝加哥,有一家大百货商店被人盗窃了一批财物.芝加哥警察局经过侦查,拘捕了三个重大的嫌疑犯：

Question

求这道逻辑题的逻辑式
逻辑式即用逻辑符号来表达推理过程 我会推理 但不会逻辑式
在美国芝加哥,有一家大百货商店被人盗窃了一批财物.芝加哥警察局经过侦查,拘捕了三个重大的嫌疑犯：山姆、汤姆与吉宁士.后来,又经过审问,查明了以下的事实：
（1）罪犯带着赃物是坐汽车逃掉的；
（2）不伙同山姆,吉宁士绝不会作案；
（3）汤姆不会开汽车；
（4）罪犯就是这三个人中的一个或一伙.
请问：在这个案子里,山姆有罪吗?
ps是逻辑式哦～

Answer 1

若用符号表示严格的逻辑推理,必须定义几个谓词命题：
①、A（x）：x是罪犯,即x作案；
②、B（x）：x会开车；
然后用以上谓词表示各个“事实”命题：
最后用逻辑规则,推出结论.