命題論理においてA→Bが証明可能ならば¬B→¬Aも証明可能であることを示せ。
お願いします