构建下面推理的证明 前提:p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论:q
人气:358 ℃ 时间:2020-05-12 13:59:11
解答
p合取q应是p析取q吧.证明如下:
1、p析取q 前提
2、p蕴含非r 前提
3、s蕴含t 前提
4、非s蕴含r 前提
5、非t 前提
6、非s 35否定后件式
7、r 46肯定前件式
8、非p 27否定后件式
9、q 18否定肯定式
推荐
- 在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s
- 在离散数学中 前提是p蕴含q 结论是p蕴含(p且q) 的推理证明
- 前提:(p∨q)→(u∧s),(s∨t)→r 结论:p→r 怎么证明啊?
- 推理证明,前提,p->s.q->r.非r.p∨q结论s
- 构造推理证明:前提p→q,非r→p,非q,结论r
- 英语翻译
- 提手旁加个吉加个页念什么
- 等差数列 a1+a4=10 a2-a3=-2 此数列前n项和sn=?
猜你喜欢