一个二难推理，若其推理形式有效，则（）。

A当前提真时，结论一定真

B当前提假时，结论一定假

C当结论假时，前提一定假

D当结论真时，前提一定真

E当前提真时，结论可能假