问题标题：
前提：(p∨q)→(u∧s),(s∨t)→r结论：p→r怎么证明啊?
问题描述：
前提：(p∨q)→(u∧s),(s∨t)→r结论：p→r怎么证明啊?
刘毅敏回答：
（1）pP(附加前提)
（2）p∨qT(1)
(3)(p∨q)→(u∧s)P
(4)u∧sT(2)(3)I
(5)sT(4)I
（6)s∨tT(5)I
(7)(s∨t)→rP
(8)rT(6)(7)
(9)p→rCP
查看更多
