第1个回答 2016-03-17
这个推理是错误的。估计是某个前提出错了，比如p→r，是不是r→p？追问
我写错了，应该是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得到矛盾。
所以，推理正确。
相似回答