作者suhorng ( )
看板logic
标题Re: [请益] 自然演绎法题求解
时间Fri Jan 2 11:57:25 2015
※ 引述《lhk8276 (Husky)》之铭言:
: 对於数学白痴修逻辑通识头脑已经打结了,求这题解><谢谢大家
: 请用自然演绎法证明下列论证为有效
: 1. (A -> (B -> D)) -> E
: 2. A -> (B -> C)
: 3. C -> D /:. E
用 λ-calculus 的话...假设
f : (A → B → D) → E
g : A → B → C
h : C → D
那在 g 後面 compose 上 h 得到
(λ(a:A). h。g a) : A → B → D
於是
f (λ(a:A). λ(b:B). h (g a b)) : E
到这边为止其实就证出来了, 不过可以写成 natural deduction:
(纯粹为了方便, 把 context 写出来.
令 Γ := (A→B→D)→E, A→B→C, C→D
Δ := Γ, A, B)
_____________ _______
Δ |- A→B→C Δ |- A
----------------------(→E) _______
Δ |- B→C Δ |- B
___________ ---------------------------- (→E)
Δ |- C→D Δ |- C
---------------------------------- (→E)
Γ, A, B |- D
--------------- (→I)
Γ, A |- B→D
__________________ --------------- (→I)
Γ |- (A→B→D)→E Γ |- A→B→D
----------------------------------- (→E)
Γ |- E
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 111.248.48.52
※ 文章网址: http://webptt.com/cn.aspx?n=bbs/logic/M.1420171048.A.A97.html
※ 编辑: suhorng (111.248.48.52), 01/02/2015 11:58:47
※ 编辑: suhorng (111.248.48.52), 01/03/2015 12:55:49