以~p为一个前提进行演绎推理,如果()。
A:加上前提(p∨q),则能必然推出结论q
B:加上前提(q∨~p),则能必然推出结论q
C:加上前提(p→q),则能必然推出结论~q
D:加上前提~q,则能必然推出结论(~q∧~p)
E:加上前提(q→p),则能必然推出结论~q
出自:法学