作者wilo (我太閒了 -_-)
看板logic
標題Re: [請益] 又是自然演繹法
時間Fri Nov 9 14:46:42 2007
※ 引述《laevulose (果果)》之銘言：
: 不好意思我真的很遜
: 所以又要麻煩大家幫忙...
: (1)不用IP/CP的話要怎麼解呢?
: 1. A→B
: 2. C→D
: /∴ (A V C) →(B V D)
這題你使用 1. 2. Adj
再配合 Impl
接著再使用 Dist 做個好幾次
再使用 Impl
就可以了
: 2,3題是定理的證明
: 因為IP/CP才教沒多久 也沒教很深入
: 所以想了半天 試了半天還是解不出來...
: (2)
: A→(～A→B)
1. A P
2. A V B 1. Add.
3. ～A→B 2. Impl.
4. A→(～A→B) 1,3 CP.
: (3)
: A→[B←→(A→B)]
1. A P for CP
2. A→B P for CP
3. B 1,2 MP
4. (A→B)→B 2,3 CP
5. B P for CP
6. B V ~A 5 Add
7. ~A V B 6 Comm
8. A→B 7 Impl
9. B→(A→B) 5,8 CP
10. 把 4,9 Adj
11. B←→(A→B) 10 Equiv
12. A→[B←→(A→B)] 1,11 CP
--
╮╥╮╥
╮║╮║ 。
╯╨╯╨ 。
大家都要快快樂樂唷！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.171.51.100
1F：推 thirdlittle:什麼是ADJ?? 11/09 19:58
2F：推 thirdlittle:第三題有點看不懂耶 對不起我太弱了@@ 11/09 20:07
3F：推 wilo:兩個為真的句子可以conjunct起來就叫做adj 11/09 20:23