作者laevulose (果果)
看板logic
标题Re: [请益] 又是自然演绎法
时间Fri Nov 9 20:25:45 2007
谢谢wilo大 二三题我会了
不过第一题我弄半天还是推不出来
有人知道我是卡在哪吗...
: : (1)不用IP/CP的话要怎麽解呢?
: : 1. A→B
: : 2. C→D
: : /∴ (A V C) →(B V D)
: 这题你使用 1. 2. Adj
: 再配合 Impl
: 接着再使用 Dist 做个好几次
: 再使用 Impl
: 就可以了
1. A→B P
2. C→D P
3. ～A V B 1 Impl
4. ～C V D 2 Impl
5. (～A V B)‧(～C V D) 3,4 Conj
6. [(～A V B)‧～C] V [(～A V B)‧D] 5 Dist
7. [(～A‧～C) V (B‧～C)] V [(～A‧D) V (B‧D)] 6 Dist
8. [(～A‧～C) V (B‧D)] V [(～A‧D) V (B‧～C)] 7 Comm 这步可以吗?
左
9. ～(A V C) V (B‧D) 8 DeM
10.[～(A V C) V B]‧[～(A V C) V D] 9 Dist
11.[(A V C)→B]‧[(A V C)→D] 10 Dist
好像只有左边有用
不过我还是证不到(A V C) →(B V D)
而左右边是用选言的也没有办法用Simp分开...
右
9. [(～A‧D) V B]‧[(～A‧D) V ～C] 8 Dist
10.[B V (～A‧D)]‧[～C V (～A‧D)] 9 Comm
11.[(B V ～A)‧(B V D)]‧[(～C V ～A)‧(～C V D)] 10 Dist
12.[(～A V B)‧(B V D)]‧[(～A V ～C)‧(～C V D)] 11 Comm
13.[(A→B)‧(～B→D)]‧[(A→～C)‧(C→D)] 12 Impl
证出这些东西不知道要干嘛...
又要麻烦各位了...
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.217.159.192
1F：推 wilo:第一题因为我没有好好看 所以给错方向 ^^; 11/09 21:33
2F：→ wilo:就是运用Add 然後 Assoc, Co , 再搭上Impl就好了:D 11/09 21:34
3F：推 laevulose:多谢楼上的详细解释XDDD 11/09 23:35