>>464
書き方はなんでもいいのよ
板書では横線で消し込んだりしてましたからね

＞[A] と書きましたのは、 B を導く演繹に用いられている仮定のうちの A という仮定は、 A → B を
＞導く演繹に対して除いて考えよ、ということであります。

この文を素直に読めば、「A → B を導いたときに除くべき仮定が A である」と言っているのは明らかじゃないですかね