不挂科搜题免费

问题:

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

答案:

二难推理的简单构成式选言推理的否定肯定式联言推理的组合式