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

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