以(A∨~B∨~C)和C为前提进行演绎推理,能必然推出的结论有()。
A:(A∧C)
B:(~A→~B)
C:(B→A)
D:(A∧~B)
E:(A←B)
出自:法学