你的证明从第二步开始就是错的,p∧q不能直接置换成成q,置换是用等价的公式来替换,p∧q不等价于q.诀窍就是每一步都假设是真的,后面的每一步都是上面一步或者2步推导出的结果.要把基本的等价式和基本蕴涵式背熟.
正确的证明:
证明:
(1)「S∨P P//前提引入
(2)S P //前提引入
(3)P T(1)(2)I //T规则,结论由(1)(2)蕴涵推出
(4)QP //前提引入
(5)P∧Q T(3)(4)I //T规则,结论由(3)(4)蕴涵推出
(6)(P∧Q)->R P//前提引入
(7)RT(5)(6)I //T规则,结论由(5)(6)蕴涵推出
一道 推理理论的题目,
一道 推理理论的题目,
前提:(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?
说上的答案是四个前提全引入了,
初学,知道的朋友请详细说下,有什么技巧,怎么理解,
打错,不是说上,是书上.
数学人气:307 ℃时间:2020-03-23 08:05:48
优质解答
我来回答
类似推荐
猜你喜欢
- 1北戴河是夏天是人们乘凉的好地方.(修改病句) 这篇文章的插图,内容真美丽真丰富啊!(修改病句)
- 2我应该做什么来让你相信我?汉译英
- 3Some students in our class love this movie_____others hate it.
- 4x-18.6+9.4=17.5 1.5x=1.8 42÷(x+5)=3 3x-37.5=25.5 13.2x=8.6x+9.2×3 4.2×2.5+2x=24.5
- 5it is not alwasy easy for the public to see what use a New invention can be of to human life
- 6我走路上学用英语怎么说
- 7write the missing words
- 8movie palace什么意思
- 9已知菱形的周长为40cm,两条对角线之比3:4,则菱形面积为( ) A.12 B.24 C.48 D.96
- 10设有N个袋子,每个袋子中装有a个白球,b个黑球,从第一袋中取出一球放入第二袋中,然后再从第二袋中取出一球放入第三袋中,如此下去,问从最后一袋中取出黑球的概率是多少?