以(A→B)∨(C→D)为前提进行演绎推理,若要得出(A→B)这一结论,就必须加上另一前提()。
A:C∧D
B:C∧~D
C:~C∧D
D:~C∧~D
出自:法学