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

xfhuanghua 1年前 已收到3个回答 举报

酷酷的阿土伯 幼苗

共回答了21个问题采纳率:95.2% 举报

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

1年前

10

砸aaaa 幼苗

共回答了4个问题 举报

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

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

1年前

2

淘一石 幼苗

共回答了1个问题 举报

证明:

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

1年前

0
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 18 q. 0.104 s. - webmaster@yulucn.com