>>78
>  →の方はＢ∨¬Ｂが証明可能だからまずＢが証明可能と仮定するとＡ→Ｂは証明可能。  
>  また¬Ｂが証明可能だと仮定すると仮定より¬Ａが証明可能。よって¬Ｂ→¬Ａが証明可能  
>  以上よりＡ→Ｂ証明可能となる。  

Ｂも¬Ｂも証明可能でないときが抜けてる