多项选择题

以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。

A.选言推理的肯定否定式
B.联言推理的分解式
C.选言推理的否定肯定式
D.充分条件推理的肯定前件式
E.充分条件推理的否定后件式