Question

急求逻辑题答案

某地发生一起盗窃案，已知案情如下：
（1）只有是团伙作案，张某、李某和王某才都是罪犯；
（2）如果张某不是罪犯，那么张某的供词"李某不是罪犯"就是真的；
（3）如果李某不是罪犯，李某的供词就是真的，而李某说自己和王某是同学；
（4）经查王某根本不认识李某，而且此案也不是团伙作案。
请根据上述情况，① 推断谁是罪犯，谁不是罪犯？② 写出推理过程。③ 写出所用推理的名称及其逻辑形式。
我需要的是有逻辑符号的答案啊！拜托！

Answer 1

1、结论：张、李是罪犯，王不是罪犯。
2、推理过程：由（3）（4）可得李是罪犯；由（2）和“李是罪犯”可得张是罪犯；由（1）（4）和“李是罪犯”、“张是罪犯”可得“王不是罪犯”。
3、推理名称：2中前两个推理是充分条件假言推理的否定后件式，第三个是选言推理的否定肯定式。（其逻辑形式自己弄吧，懒得打符号。）