以“如果A必然是B,那么C必然不是D”和“C可能是D”这两个命题作前提进行演绎推理,可以必然得出结论()。
A:A必然不是B
B:A可能不是B
C:A不可能是B
D:A不可能不是B
出自:法学