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

A .二难推理的简单构成式

B .二难推理的复杂构成式

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

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

E .联言推理的组合式