题目

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

提问时间：2021-03-04

答案

（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