问答题

计算题 用归谬法推证下列各题的有效结论:p→q,(¬q∨r)∧¬r,¬(¬p∧s)=>¬s

【参考答案】