作者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/cn.aspx?n=bbs/logic/M.1420010826.A.0FB.html