以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。
A:二难推理的简单构成式
B:二难推理的复杂构成式
C:选言推理的肯定否定式
D:选言推理的否定肯定式
E:联言推理的组合式
出自:哲学