离散数学的自然推理系统，用归谬法（反证法）证明
答案:1 悬赏:50 手机版
解决时间 2021-04-06 00:18
- 提问者网友：孤凫
- 2021-04-05 00:11
离散数学的自然推理系统，用归谬法（反证法）证明
最佳答案
- 五星知识达人网友：十年萤火照君眠
- 2021-04-05 01:13
这个推理是错误的。估计是某个前提出错了，比如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∧￢p<=>0，所以由9得到矛盾。
所以，推理正确。
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∧￢p<=>0，所以由9得到矛盾。
所以，推理正确。
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息
大家都在看
推荐资讯