看板 [ logic ]
討論串[請益] 又是自然演繹法
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#3
Re: [請益] 又是自然演繹法
推噓2(2推 0噓 1→)留言3則，0人參與, 最新作者laevulose (果果)時間18年前 (2007/11/09 20:25), 編輯資訊
0
0
0
內容預覽:
謝謝wilo大 二三題我會了. 不過第一題我弄半天還是推不出來. 有人知道我是卡在哪嗎.... 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
(還有586個字)
#2
Re: [請益] 又是自然演繹法
推噓3(3推 0噓 0→)留言3則，0人參與, 最新作者wilo (我太閒了 -_-)時間18年前 (2007/11/09 14:46), 編輯資訊
0
0
0
內容預覽:
這題你使用 1. 2. Adj. 再配合 Impl. 接著再使用 Dist 做個好幾次. 再使用 Impl. 就可以了. 1. A P. 2. A V B 1. Add.. 3. ～A→B 2. Impl.. 4. A→(～A→B) 1,3 CP.. 1. A P for CP. 2. A→B P
(還有162個字)
#1
[請益] 又是自然演繹法
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者laevulose (果果)時間18年前 (2007/11/08 19:28), 編輯資訊
0
0
0
內容預覽:
不好意思我真的很遜. 所以又要麻煩大家幫忙.... (1)不用IP/CP的話要怎麼解呢?. 1. A→B. 2. C→D. /∴ (A V C) →(B V D). 2,3題是定理的證明. 因為IP/CP才教沒多久 也沒教很深入. 所以想了半天 試了半天還是解不出來.... (2). A→(～A→B
首頁
上一頁
1
下一頁
尾頁