某地发生一起盗窃案,已知案情如下：（1）只有是团伙作案,张某、李某和王某才都是罪犯；（2）如果张某不是罪犯,那么张某的供词"李某不是罪犯"就是真的；（3）如果李某不是罪犯,李某的

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

某地发生一起盗窃案,已知案情如下：（1）只有是团伙作案,张某、李某和王某才都是罪犯；（2）如果张某不是罪犯,那么张某的供词"李某不是罪犯"就是真的；（3）如果李某不是罪犯,李某的
1、结论：张、李是罪犯,王不是罪犯.
2、推理过程：由（3）（4）可得李是罪犯；由（2）和“李是罪犯”可得张是罪犯；由（1）（4）和“李是罪犯”、“张是罪犯”可得“王不是罪犯”.
3、推理名称：2中前两个推理是充分条件假言推理的否定后件式,第三个是选言推理的否定肯定式.（其逻辑形式自己弄吧,懒得打符号.）