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

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

B.二难推理的简单破坏式

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

D.二难推理的复杂破坏式

A.简单构成式

B.简单破坏式

C.复杂构成式

D.复杂破坏式

A.简单构成式

B.复杂构成式

C.简单破坏式

D.复杂破坏式

A.p→﹁q

B.q→p

C.p∨﹁q

D.p↔q

E.p→q

A.(p∨q)∧p├﹁q

B.(pqr)∧﹁p├q∧r

C.(pqr)∧﹁p├qr

D.(p∨q∨r)∧﹁p├q∨r

E.(p∨q∨r∨s)∧(﹁p∧﹁q)├r∨s

A.p∨r

B.﹁p∨﹁r

C.p∧r

D.﹁q∨﹁r

A.q

B.p

C.p∨﹁q

D.﹁p

A．（﹁p→q）∧p├﹁q

B．（p→﹁q）∧q├﹁p

C．（﹁p←﹁q）∧﹁p├q

D．（p←﹁q）∧﹁q├p

E．（p→﹁q）∧p├﹁q

A.s

B.﹁q

C.﹁q∧s

D.﹁r∧s

E.(﹁q∨﹁r)∧s