Re: [請益] 又是自然演繹法

看板logic作者wilo (我太閒了 -_-)時間18年前 (2007/11/09 14:46)推噓3(3推 0噓 0→)

留言3則, 2人參與討論串2/3 (看更多)

※ 引述《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

推

thirdlittle

11/09 19:58, , 1^F

11/09 19:58, 1^F

推

thirdlittle

11/09 20:07, , 2^F

11/09 20:07, 2^F

推

wilo

11/09 20:23, , 3^F

11/09 20:23, 3^F