这一题做不了，前提中没有 t，推不下去。
温馨提示：答案为网友推荐，仅供参考
第1个回答 2014-11-01
(1)p^q 前提引入
(2)p (1)化简
(3)q (1)化简
(4)¬pvr 前提引入
(5)r (2)(4)析取三段论
(6)¬qvs 前提引入
(7)s (3)(6)析取三段论
(8)r^s (5)(7)合取引入
(9)t->(r^s) (结论是正确的，前提无论是否正确，此推理都是正确的)
注意：如果一个推理，其前提是错误的，那么，无论其结论是否正确，都说此推理正确。本回答被网友采纳
(2)p (1)化简
(3)q (1)化简
(4)¬pvr 前提引入
(5)r (2)(4)析取三段论
(6)¬qvs 前提引入
(7)s (3)(6)析取三段论
(8)r^s (5)(7)合取引入
(9)t->(r^s) (结论是正确的，前提无论是否正确，此推理都是正确的)
注意：如果一个推理，其前提是错误的，那么，无论其结论是否正确，都说此推理正确。本回答被网友采纳
相似回答