构造推理证明:前提p→q,非r→p,非q,结论r

题目

构造推理证明:前提p→q,非r→p,非q,结论r

答案

证明：
①p→q 前提引入
②非q 前提引入
③非p ①②拒取式
④非r→p 前提引入
⑤r ③④拒取式