多项选择题

以﹁p为前提进行有效推理,另一前提可以是()。

A.p←﹁q
B.p→﹁q
C.p∨q
D.﹁p∨﹁q
E.﹁p←q