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