Question

离散数学的自然推理系统，用归谬法（反证法）证明

Answer 1

这个推理是错误的。估计是某个前提出错了，比如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得到矛盾。

所以，推理正确。