以"甲、乙、丙三人中至少有一人是作案人"和"甲不是作案人"这两个判断为前提,能必然推出结论().

以"乙不是作案人"为前提,再增加()为另一个前提,就可以有效地推出结论"甲是作案人"

该案的作案人或者是甲或者是乙,甲是作案人,所以,乙不是作案人.

本案的作案人或者是甲,或者是乙,或者是丙.经查证实,不是甲也不是乙,所以,本案的作案人是丙.此推理是( ).

A、肯定否定式
B、否定肯定式
C、正确
D、错误

以"如果甲和乙都不是作案者,那么丙是作案者"为一前提,若再增加以下一个前提可必然推出"乙是作案者"的结论.这个前提是