[数理逻辑]例题证明 P59 定理2.6.4

数理逻辑 例题证明  P59 定理2.6.4

i 证明 A-＞B,A |- B
A-＞B,A |- A-＞B (E)
A-＞B,A |- A     (E)
A-＞B,A |- B     (-＞ -)
证毕

ii 证明：A |- B -＞ A
A |- A      (REF)
A,B |- A    (+)
A |- B-＞A  (-＞ +)
证毕

iv 证明：A->(B->C),A->B |- A->C
A->(B->C),A->B,A |- A->(B->C)   (E)
A->(B->C),A->B,A |- A           (E)
A->(B->C),A->B,A |- B->C        (-＞ -)
A->(B->C),A->B,A |- A->B        (E)
A->(B->C),A->B,A |- B           (-＞ -)
A->(B->C),A->B,A |- C           (-＞ -)
A->(B->C),A->B |- A->C           (-＞ +)
证毕