前提:(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