问题描述:
一道 推理理论的题目,
前提:(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)->r 中p∧q能不能直接根据公式化简成q?
说上的答案是四个前提全引入了,
初学,知道的朋友请详细说下,有什么技巧,怎么理解,
打错,不是说上,是书上.
问题解答:
我来补答展开全文阅读