已知p→（q∨r）为真，若要推出～p，必须加上前提（）。A、～qB、～rC、～q∨～rD、～q∧～r

已知p→（q∨r）为真，若要推出～p，必须加上前提（）。