以(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.肯定前件规则
正确答案:简化规则;两次运用选言三段论规则;肯定前件规则
以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()
A.一次运用选言三段论规则
B.简化规则
C.两次运用选言三段论规则
D.肯定前件规则
正确答案:简化规则;两次运用选言三段论规则;肯定前件规则
相关答案
热门答案