前提:(p∨q)→(u∧s),(s∨t)→r 结论:p→r 怎么证明啊?
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/27 18:02:33
![前提:(p∨q)→(u∧s),(s∨t)→r 结论:p→r 怎么证明啊?](/uploads/image/z/9684421-61-1.jpg?t=%E5%89%8D%E6%8F%90%EF%BC%9A%28p%E2%88%A8q%29%E2%86%92%28u%E2%88%A7s%29%2C%28s%E2%88%A8t%29%E2%86%92r+%E7%BB%93%E8%AE%BA%EF%BC%9Ap%E2%86%92r+%E6%80%8E%E4%B9%88%E8%AF%81%E6%98%8E%E5%95%8A%3F)
前提:(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