一道 推理理论的题目,前提:(p∧q)->r,「s∨p,q,s结论:r用推理理论证明.我是这么做的:1.(p∧q)->r //前提引入2.q->r //化简3.q //前提引入4.r我想问的是:我这么做对么?一共四个前提,我只用
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/01 00:23:19
![一道 推理理论的题目,前提:(p∧q)->r,「s∨p,q,s结论:r用推理理论证明.我是这么做的:1.(p∧q)->r //前提引入2.q->r //化简3.q //前提引入4.r我想问的是:我这么做对么?一共四个前提,我只用](/uploads/image/z/5893318-46-8.jpg?t=%E4%B8%80%E9%81%93+%E6%8E%A8%E7%90%86%E7%90%86%E8%AE%BA%E7%9A%84%E9%A2%98%E7%9B%AE%2C%E5%89%8D%E6%8F%90%EF%BC%9A%28p%E2%88%A7q%29%EF%BC%8D%3Er%2C%E3%80%8Cs%E2%88%A8p%2Cq%2Cs%E7%BB%93%E8%AE%BA%EF%BC%9Ar%E7%94%A8%E6%8E%A8%E7%90%86%E7%90%86%E8%AE%BA%E8%AF%81%E6%98%8E.%E6%88%91%E6%98%AF%E8%BF%99%E4%B9%88%E5%81%9A%E7%9A%84%EF%BC%9A1.%28p%E2%88%A7q%29%EF%BC%8D%3Er+%2F%2F%E5%89%8D%E6%8F%90%E5%BC%95%E5%85%A52.q%EF%BC%8D%3Er+%2F%2F%E5%8C%96%E7%AE%803.q+%2F%2F%E5%89%8D%E6%8F%90%E5%BC%95%E5%85%A54.r%E6%88%91%E6%83%B3%E9%97%AE%E7%9A%84%E6%98%AF%EF%BC%9A%E6%88%91%E8%BF%99%E4%B9%88%E5%81%9A%E5%AF%B9%E4%B9%88%3F%E4%B8%80%E5%85%B1%E5%9B%9B%E4%B8%AA%E5%89%8D%E6%8F%90%2C%E6%88%91%E5%8F%AA%E7%94%A8)
一道 推理理论的题目,前提:(p∧q)->r,「s∨p,q,s结论:r用推理理论证明.我是这么做的:1.(p∧q)->r //前提引入2.q->r //化简3.q //前提引入4.r我想问的是:我这么做对么?一共四个前提,我只用
一道 推理理论的题目,
前提:(p∧q)->r,「s∨p,q,s
结论:r
用推理理论证明.
我是这么做的:
1.(p∧q)->r //前提引入
2.q->r //化简
3.q //前提引入
4.r
我想问的是:
我这么做对么?一共四个前提,我只用了两个就得出了.
也就是我对置换规则不是太理解.
置换规则定义是:在证明的任何步骤,命题公式中的子公式都可以用等值的公式置换,得到公式序列中的又一个公式.
也就是在.(p∧q)->r 中p∧q能不能直接根据公式化简成q?
说上的答案是四个前提全引入了,
初学,知道的朋友请详细说下,有什么技巧,怎么理解,
打错,不是说上,是书上.
一道 推理理论的题目,前提:(p∧q)->r,「s∨p,q,s结论:r用推理理论证明.我是这么做的:1.(p∧q)->r //前提引入2.q->r //化简3.q //前提引入4.r我想问的是:我这么做对么?一共四个前提,我只用
你的证明从第二步开始就是错的,p∧q不能直接置换成成q,置换是用等价的公式来替换,p∧q不等价于q.诀窍就是每一步都假设是真的,后面的每一步都是上面一步或者2步推导出的结果.要把基本的等价式和基本蕴涵式背熟.
正确的证明:
证明:
(1)「S∨P P //前提引入
(2)S P //前提引入
(3)P T(1)(2)I //T规则,结论由(1)(2)蕴涵推出
(4)Q P //前提引入
(5)P∧Q T(3)(4)I //T规则,结论由(3)(4)蕴涵推出
(6) (P∧Q)->R P //前提引入
(7)R T(5)(6)I //T规则,结论由(5)(6)蕴涵推出