给出下列推理的过程的形式证明
前提:p→(q→r),(r∧s)→t ,┐h→(s∧┐t).
结论:p→(q→h)
人气:395 ℃ 时间:2019-10-11 05:50:27
解答
用CP规则证明:(1) p P(附加前提)(2) q P(附加前提)(3) p→(q→r) P(4) q→r T(1)(3)I(5) r T(2)(4)I(6) (r∧s)→t P(7)(┐rv┐s)vt T(6)E(8)r→(┐svt) T(7)E(9)(┐svt) T...
推荐
- 构造下面推理的证明
- 构造下面命题推理的证明
- 归结推理法证明问题
- 离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所以有些脊椎动物不是胎生的.
- 在上海科学技术文献出版社,左孝凌离散数学推理理论中提到了T规则,P规则,在例题中还有E,I等符号.
- 《背影》全文?
- "知者行之始,行者知之成.
- 小刚把牛系在木装上给牛吃青草,木桩到牛鼻的绳长是3米,牛可以吃到草的面积是多少?
猜你喜欢
- In the future,there will be more robots everywhere,and humans will have less work to do.
- 除数是最大的一位数,商是最小的两位数,余数是7,被除数是多少?
- 五分之二,五分之一,三十分之一,九十分之一.(),()求回答找规律
- 27分之1的负1次方等于多少?
- 根据21+21=22,22+22=23……计算1+2+22+23+……29?
- 58.5gNacl溶于500ml水中,所得的溶液与58.5gNacl溶于水稀释至500ml的溶液相比,浓度是否相等,为什么?
- 已知某烃的气体密度在标准状况下为1.25g/L,其中含碳的质量分数为85.71%,求该物质的分子式?
- 大于2/5且小于4/5的分数只有3/5._.(判断对错)