问答题

计算题 在自然推理系统P中用直接证明法证明推理:前提:p→(q→r),p∧q,结论¬r→s。

【参考答案】