问答题

计算题 推理证明下列各题的有效结论:¬p∨¬s,p→q,r→s=>¬p∨¬r

【参考答案】