作者lhk8276 (Husky)
看板logic
標題[請益] 自然演繹法題求解
時間Wed Dec 31 15:27:03 2014
對於數學白痴修邏輯通識頭腦已經打結了，求這題解><謝謝大家
請用自然演繹法證明下列論證為有效
1. (A -> (B -> D)) -> E
2. A -> (B -> C)
3. C -> D /:. E
--
Sent from my Android
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 42.71.241.76
※ 文章網址: http://webptt.com/m.aspx?n=bbs/logic/M.1420010826.A.0FB.html