问答题

计算题 用CP规则推证下列各题的有效结论:p∧q→r,¬r∨s,p→¬s=>p→¬q

【参考答案】