以“（p→q）→r”和“～r”为前提，可必然推出结论（）。

• A、～p∧q
• B、r→p
• C、q∨r
• D、～（～p∨q）
• E、～q∧p