11智能在线
新记
离散数学题 构造推理证明:前提p→q,非r→p,非q,结论r 求帮助
如题所述
举报该文章
其他看法
第1个回答 2013-06-27
由p->q 得 非q->非p
由非r->p 得 非p->r
所以 非q->非p->r
证毕
(抓住 一个真命题的逆否命题也是真命题 的结论)
追问
是这样吗,我怎么感觉不像,太简单了,这是离散数学的题
追答
也许我过程写得不符合离散数学答题格式,但是这个思路是对的
第2个回答 2013-06-27
证明:
①p→q 前提引入
②非q→非p 置换①
③非q 前提引入
④非p ②③假言推理
⑤非r→p 前提引入
⑥非p→r 置换⑤
⑦r ④⑥假言推理
第3个回答 2013-06-27
证明:
①p→q 前提引入
②非q 前提引入
③非p ①②拒取式
④非r→p 前提引入
⑤r ③④拒取式
本回答被提问者和网友采纳
相似回答
大家正在搜
相关问题
构造推理证明: 前提:(p∧q)→r,非r∨s,非s,p 结...
离散数学 构造以下推理的证明 前提:¬(p∧¬q),¬q∨r...
离散数学,用附加前提法证明 前提:p→(q→r),(r∧s)...
【离散数学 用推理规则证明】前提: p∨q, p->s, q...
构建下面推理的证明 前提:p合取q,p蕴含非r,s蕴含t,非...
构造命题逻辑的形式证明前提p->q,(非q∧r)∧非r,非(...
离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论...
在离散数学中 前提是p蕴含q 结论是p蕴含(p且q) 的推理...