问题详情

“(p→q)∧(r→s)∧(p∨r)├q∨s”这一推理式是()。
A.二难推理的简单构成式
B.二难推理的简单破坏式
C.二难推理的复杂构成式
D.二难推理的复杂破坏式