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

以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）
A.一次运用选言三段论规则
B.简化规则
C.两次运用选言三段论规则
D.肯定前件规则
正确答案：简化规则；两次运用选言三段论规则；肯定前件规则