前提：(p∨q)→(u∧s),(s∨t)→r 结论：p→r 怎么证明啊?

来源：学生作业帮助网 编辑：作业帮 时间：2024/05/17 03:14:27
前提：(p∨q)→(u∧s),(s∨t)→r 结论：p→r 怎么证明啊?
x){=4 u(|6IQbMbH HH/*+s5=b}}Ov$S(;{: 4^lyڵb&L$ D!D"aaBDDS,Tn R 7TF@ ՙFT M"23M

前提：(p∨q)→(u∧s),(s∨t)→r 结论：p→r 怎么证明啊?
前提：(p∨q)→(u∧s),(s∨t)→r 结论：p→r 怎么证明啊?

前提：(p∨q)→(u∧s),(s∨t)→r 结论：p→r 怎么证明啊?
（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