Question

离散数学推理，求推理证明详细说明

Answer 1

这一题做不了，前提中没有 t，推不下去。

Answer 2

(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) (结论是正确的，前提无论是否正确，此推理都是正确的)

注意：如果一个推理，其前提是错误的，那么，无论其结论是否正确，都说此推理正确。