前提：(p∨q)→(u∧s),(s∨t)→r 结论：p→r 怎么证明啊？？？！！！
1个回答
展开全部
（1）p P(附加前提)
（2）p∨q T(1)
(3) (p∨q)→(u∧s) P
(4) u∧s T(2)(3) I
(5) s T(4) I
（6) s∨t T(5) I
(7) (s∨t)→r P
(8) r T(6)(7)
(9) p→r CP
（2）p∨q T(1)
(3) (p∨q)→(u∧s) P
(4) u∧s T(2)(3) I
(5) s T(4) I
（6) s∨t T(5) I
(7) (s∨t)→r P
(8) r T(6)(7)
(9) p→r CP
本回答被提问者采纳
已赞过
已踩过<
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
