以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()
7 查阅
以(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.肯定前件规则
参考答案: