以（A→B）∨（C→D）为前提进行演绎推理，若要得出（A→B）这一结论，就必须加上另一前提（）。

• A、C∧D
• B、C∧～D
• C、～C∧D
• D、～C∧～D