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

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/29 16:32:27
构造下面推理的证明:(1)前提:p->p.结论:p->(p∧q).(2)前提:p->q,qs,st,t∧r.结论:p∧q∧s∧r.注:"为蕴涵联结词;""为等价联结词.需要写出完整过程且只能用构造证明的方法." />

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

构造下面推理的证明:(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,要不是这样就求不了,你回答我之后,我再帮你回答吧.