Re: [請益] 又是自然演繹法
謝謝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
推
11/09 21:33, , 1F
11/09 21:33, 1F
→
11/09 21:34, , 2F
11/09 21:34, 2F
推
11/09 23:35, , 3F
11/09 23:35, 3F
討論串 (同標題文章)