以～p为一个前提进行演绎推理，如果（）。

• A、加上前提（p∨q），则能必然推出结论q
• B、加上前提（q∨～p），则能必然推出结论q
• C、加上前提（p→q），则能必然推出结论～q
• D、加上前提～q，则能必然推出结论（～q∧～p）
• E、加上前提（q→p），则能必然推出结论～q