已知p→(q∨r)为真,若要推出~p,必须加上前提()。
A:~q
B:~r
C:~q∨~r
D:~q∧~r
出自:法学