单项选择题

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

微信扫码免费搜题