【分析解答题】

用归结法证明下面推理． 前提：￢p→q，p→r，r→s． 结论：q∨s．

用归结法证明下面推理．前提：￢p→q，p→r，r→s．结论：q∨s．