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

2023-06-23

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

A.一次运用选言三段论规则

B.简化规则

C.两次运用选言三段论规则

D.肯定前件规则



参考答案:

简化规则;两次运用选言三段论规则;肯定前件规则