（A→B）→（¬B→¬A）ってことがちょっと納得いってないんじゃないだろうか。
これは排中律によってしか導かれないことだから、疑問の元は排中律にあると思われる。
排中律自体は認めていない派閥もあるくらいのモノなので、そこは「そうなるもんはそうなる」と思わないとダメ。
まぁしょうがない