[請益] 自然演繹法題求解

看板logic作者 (Husky)時間11年前 (2014/12/31 15:27), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串1/4 (看更多)
對於數學白痴修邏輯通識頭腦已經打結了，求這題解><謝謝大家 請用自然演繹法證明下列論證為有效 1. (A -> (B -> D)) -> E 2. A -> (B -> C) 3. C -> D /:. E -- Sent from my Android -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 42.71.241.76 ※ 文章網址: http://www.ptt.cc/bbs/logic/M.1420010826.A.0FB.html
‣ 更多 lhk8276 的文章
文章代碼(AID): #1KewLA3x (logic)
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 1 之 4 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共4篇)
‣ 更多 lhk8276 的文章
文章代碼(AID): #1KewLA3x (logic)