离散数学题 构造推理证明:前提p→q,非r→p,非q,结论r 求帮助
3个回答
展开全部
由p->q 得 非q->非p
由非r->p 得 非p->r
所以 非q->非p->r
证毕
（抓住 一个真命题的逆否命题也是真命题 的结论）
由非r->p 得 非p->r
所以 非q->非p->r
证毕
（抓住 一个真命题的逆否命题也是真命题 的结论）
追问
是这样吗，我怎么感觉不像，太简单了，这是离散数学的题
追答
也许我过程写得不符合离散数学答题格式，但是这个思路是对的
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
展开全部
证明：
①p→q 前提引入
②非q→非p 置换①
③非q 前提引入
④非p ②③假言推理
⑤非r→p 前提引入
⑥非p→r 置换⑤
⑦r ④⑥假言推理
①p→q 前提引入
②非q→非p 置换①
③非q 前提引入
④非p ②③假言推理
⑤非r→p 前提引入
⑥非p→r 置换⑤
⑦r ④⑥假言推理
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
展开全部
证明：
①p→q 前提引入
②非q 前提引入
③非p ①②拒取式
④非r→p 前提引入
⑤r ③④拒取式
①p→q 前提引入
②非q 前提引入
③非p ①②拒取式
④非r→p 前提引入
⑤r ③④拒取式
本回答被提问者和网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
更多回答（1）
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
|
广告 您可能关注的内容 |
