Nein. Bei A=>B weiss ich, dass dass A->B wahr ist und daher darf man '=>' auch zur Beweisführung benutzen (dass ich (nicht A oder B) und nicht wie du (B oder nicht A) geschrieben habe tut nichts zur Sache, ist Gewohnheit).
Sicherlich ist es so, dass ich mit A=>B das meine was du mit A->B meinst nämlich "A impliziert B" dies kann wahr oder falsch sein.
Wenn ich einen Beweis führe behaupte ich automatisch dass die Umformungen die ich dort vorgenommen habe wahr sind. Deswegen brauche ich das Zeichnen nicht auch noch mit dieser Bedeutung zu belegen. Wenn ich die Korrektheit des Beweises prüfen will, muss ich nur prüfen ob die impliziert-Beziehungen wahr oder falsch sind.
In deinem Fall muss ich prüfen ob die Ausssage "A impliziert B ist wahr" wahr ist. Gewonnen ist dadurch eigentlich nichts.
Ich gebe zu dass deine Schreibweise etwas expliziter ist. Aber am Ende ist auch das Konvention und trägt nichts neues bei.
EDIT Legasthenie entfernt.