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

题目内容(请给出正确答案)

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

A.选言推理的肯定否定式

B.联言推理的分解式

C.选言推理的否定肯定式

D.假言推理的肯定前件

E.假言推理的否定后件式

参考答案和解析
r→p;~(~p∨q);~q∧p
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。
更多相关问题