如题所述
我写错了,应该是r→p
1 ¬t 否定结论引入2 s→t 前提引入3 ¬s 12拒取式4 ¬r→s 前提引入5 r 34拒取式6 r→p 前提引入7 p 56假言推理8 ¬p∧q 前提引入9 ¬p 8化简10 p∧¬p 79合取因为p∧¬p0,所以由9得到矛盾。所以,推理正确。