[数理逻辑] 例题证明 P59-60 定理2.6.5

数理逻辑 例题证明 P59-60 定理2.6.5

(iii)求证 A |- !!A
A,!A |- A    (+,E)
A,!A |- !A   (E)
A |- !!A     (!+)

(iv)求证A,!A |- B
A,!A,!B |- A  (+,E)
A,!A,!B |-!A  (E)
A,!A |- B     (!-)

(v)求证 A |- !A->B
A,!A |- B     (!-)
----UP 参见 iv ----
A |- !A -> B   (-> +)

(vi)求证 !A |- A->B
!A,A |- B     (iv)
!A |- A->B    (-> +)