已知“p→(q∨r)”为真，若要推出“～p”，则需加上前提A～rB～qC～q∨～rD～q∧～r