作者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