以“(p→q)→r”和“~r”为前提,可必然推出结论()。
A:~p∧q
B:r→p
C:q∨r
D:~(~p∨q)
E:~q∧p
出自:法学