并非某甲或者是杀人犯或者是放火犯;所以,某甲不是杀人犯或者不是放火犯。
已知:(1)如果甲和乙是杀人犯,则丙是无罪的;(2)丙有罪,且丁的证词正确;(3)如果丁的证词正确,那么,乙就是杀人犯。问:谁是杀人犯?并写出推导过程。
A.张某不是杀人犯,所以,案发时张某一定不在案发现场
B.王某是杀人犯,但他只幕后策划,并未去案发现场作案
C.李某案发时在案发现场,所以,李某一定是杀人犯
D.赵某案发时不在案发现场,所以赵某不是杀人犯
根据模态对当关系,由“某甲必然是杀人犯”真,可推出“某甲可能是杀人犯(),某甲必然不是杀人犯()。”