问答题

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

【参考答案】