构造下面推理的证明：
问题描述：
构造下面推理的证明：
（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........能否用严谨点的构造证明写出来一下。因为题目要求啊......证明：11、p->q前提引入2、p附加前提引入3、q1、2假言推理.4、p∧q合取引入21、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、q2、8假言10、 q->p前提引入11、p 9、10假言12、（ q->s ）∧（s ->q）4置换13、q ->s12化简律14、s9、13假言15、 :p∧q∧s∧r 3、9、11、14合取引入 有什么不明再问我吧！希望对你有帮助。