[多选题]

以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。

A . p→﹁q

B . q→p

C . p∨﹁q

D . p↔q

E . p→q