Question

用附加前提法，在自然推理系统P中，构造下面的推理证明。前提：﹁p∨（q→r），s→p，q结论：s→r

Answer 1

问：用附加前提法，在自然推理系统P中，构造下面的推理证明。前提：﹁p∨（q→r），s→p，q结论：s→r

答：证明: (1)R∨P 前提引人(2) R→P (1)置换(3)R 附加前提引人(4)P (2)(3)分离(5)P→(Q→S) 前提引入(6)Q→S (4)(5)分离(7)Q 前提引人(8)S (6)(7)分离(9)R→S 条件证明规则

答：可以看一下哦

问：您好，证明的结果是s→r，您的答案写的是r→s

问：是不是不太对呀

问：在吗

问：可以回答一下我的问题吗

答：哦不好意思

答：看错字母了

答：方法就是这样的

答：你换下字母就可以啦

问：换哪个字母呀

问：是只有最后一条换嘛

答：稍等

答：我再看一下哦

答：你是几年级的啊

答：这是字母更改之后的

答：你可以看一下哦