10.若使用归谬法推理,(A→(BÚC))Ù(B→┐A)Ù(D→┐C) Þ (A→┐D),则附加前提是()
A (A→┐D)
B (D→┐C)
C ┐(A→┐D)
D ┐(D→┐C)