以(A→(B→C))和B作前提进行演绎推理,能必然推出结论()。
A:(A→C)
B:(B→C)
C:A
D:C
出自:法学