以“A、B、C三人中至少有一人是作案人”和“B不是作案人”这两个命题作前提进行演绎推理,可必然推出结论()。
A:如果A不是作案人,那么C就是作案人
B:A和C都是作案人
C:A、B二人中至少有一人不是作案人
D:A和C都不是作案人
出自:法学