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

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

构造推理证明:前提p→q,非r→p,非q,结论r
证明：
①p→q 前提引入
②非q 前提引入
③非p ①②拒取式
④非r→p 前提引入
⑤r ③④拒取式

证明：

①p→q 前提引入
②非q→非p 置换①
③非q 前提引入
④非p ②③假言推理
⑤非r→p 前提引入
⑥非p→r 置换⑤
⑦r ④⑥假言推理

由p->q 得 非q->非p
由非r->p 得 非p->r

所以 非q->非p->r
证毕
（抓住 一个真命题的逆否命题也是真命题 的结论）