作者wilo (我太闲了 -_-)
看板logic
标题Re: [请益] 又是命题逻辑
时间Thu Nov 22 18:17:57 2007
※ 引述《william0612 (Will)》之铭言：
: 想请教高手
: 1.) Prove A v A v A |- B -> A
这题用Idem来证明
1. A v A v A P
2. A 1,Idem
3. ~B v A 2,Add
4. B→A 3,Impl
第一题，我实在是觉得这边的题目该要有的括号都没有(?)
所以你在证明的时候会很怪...
anyway，我想直接就可以用Idem直接这样做了
不过可能还是题目精确一点？
如果正常来讲这应该会是 (A v A) v A 或者 A v (A v A)的方式
然後因为Idem所以 A v A = A 这样坐下去
第二题因为第一个这题里面没有看到被bounded的x出现在哪里
所以我就把他看成是 (A→B→C)→(A→B)→(A→C)
这题目这样的写法是不好的，他少了两组括号，
那这样的情况通常我们判断的标准是对条件句而言括号从右边括起
可是因为你题目的写法会导致有歧义的情形产生
那我们先看括号从右边括起的方式好了
也就是要证明 |- (A→(B→C))→((A→B)→(A→C))
1. A→(B→C) P for CP
2. A→B P for CP
3. A P for CP
4. B→C 1,3,MP
5. B 2,3 MP
6. C 4,5 MP
7. A→C 3,6 CP
8. (A→B)→(A→C) 2,7 CP
9. (A→(B→C))→((A→B)→(A→C)) 1,8 CP
最後一题因为我要去上课了，所以有空再帮你看 XD
※ 编辑: wilo 来自: 61.223.32.192 (11/22 18:44)
※ 编辑: wilo 来自: 61.223.32.192 (11/22 23:21)
1F：推 william0612:感恩阿T_T.....不过题目他就是这样写, 他有省略掉不必 11/23 03:28
2F：→ william0612:要的括号, 所以应该是如果有一样的connective,就左边 11/23 03:29
3F：→ william0612:的先括 (ex. A v (A v A)) 11/23 03:30