构造下面推理的证明：（1）前提：p->p.结论:p->(p∧q).(2)前提：p->q,qs,st,t∧r.结论:p∧q

来源：学生作业帮编辑：灵鹊做题网作业帮分类：数学作业时间：2024/04/28 02:00:06

构造下面推理的证明：
（1）前提：p->p.
结论:p->(p∧q).
(2)前提：p->q,qs,st,t∧r.
结论:p∧q∧s∧r.
注:"->"为蕴涵联结词;""为等价联结词.需要写出完整过程且只能用构造证明的方法.

我看了你的追问,有2,3合取引入,就可以得pvq.因为p真值为1,q的真值也为1,所以p∧q的真值也是1,就可以得到p∧q. 我发现你第二题也好像打错啦?qs应该改为ps,或者是p->q改为q->p,要不是这样就求不了,你回答我之后,我再帮你回答吧.
再问：哦，又是我错了！！的确，p->q要改成q->p........ 能否用严谨点的构造证明写出来一下。因为题目要求啊......
再答：证明：1 1、p->q 前提引入 2、p 附加前提引入 3、q 1、2假言推理. 4、p∧q 合取引入 2 1、 t∧r 前提引入 2、 t 化简律 3、 r 化简律 4、qs 前提引入 5、st 前提引入 6、qt 4、5等价三段论 7、（q->t）∧（t->q） 6置换 8、t->q 7化简律 9、q 2、8假言 10、 q->p 前提引入 11、p 9、10假言 12、（ q->s ）∧ （s ->q） 4置换 13、q ->s 12化简律 14、s 9、13假言 15、 :p∧q∧s∧r 3、9、11、14合取引入有什么不明再问我吧！希望对你有帮助。

构造下面推理的证明：（1）前提：p->p.结论:p->(p∧q).(2)前提：p->q,qs,st,t∧r.结论:p∧q 在自然推理系统中构造下面推理的证明：前提：p→r,q→s,p∧q,结论：r∧s 构造下面推理的证明前提：非(p合取非q),非q析取r,非r结论：非p 构造推理证明:前提p→q,非r→p,非q,结论r 构造以下推理的证明前提：￢P∨Q,￢(Q∨R),R 结论：￢P 1.下面推理的证明前提：非q→p,非q∨r,非r结论：p∧非r2.在下列前提下,结论是否有效（要过程）今天或者天晴或者下用推理规则证明】前提:p∨q,p->s,q->r 结论:s∨r 推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s 构造下面推理的证明前提:p→(q→s),q,p∨┐r.结论：r→s实在是看不懂书上写的了. 在命题逻辑中构造下面推理的证明前提:p→s,q→r,┐r,p∨q,结论s 构建下面推理的证明前提：p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论：q 前提：(p∨q)→(u∧s),(s∨t)→r 结论：p→r 怎么证明啊?