逻辑学商店被盗的问题某大百货商店被盗,甲乙丙三人涉嫌被拘审,警方经调查得到以下事实1.罪犯是带着脏物坐小汽车逃走的2.如果甲没有作案,那么丙也没有作案3.乙不会开汽车4.罪犯就是这

Question

逻辑学商店被盗的问题
某大百货商店被盗,甲乙丙三人涉嫌被拘审,警方经调查得到以下事实
1.罪犯是带着脏物坐小汽车逃走的
2.如果甲没有作案,那么丙也没有作案
3.乙不会开汽车
4.罪犯就是这三个中的一个或一伙
根据以上掌握的线索,警方断定甲有重大作案嫌疑,并对其进行了连夜审讯,最终甲承认参与了此次百货商店被盗案件.
试写出警方断定价为罪犯的推理的真值形式,并用真值表法或归谬赋值法证明此推理有效.

Answer 1

什么表法 -0- 完全不懂
但是这个很简单啊啊啊啊
如果甲没做, 丙也没做---->乙必须自己作案,
p -----> q

但乙不会开汽车, 乙不能自己作案 ---> 非q
---->非p ----> 甲做了