Das ist richtig. Allerdings musst Du bedenken, dass aus etwas Falschem etwas Wahres gefolgert werden kann. Wenn also \(A\) in der Implikation \(A\Longrightarrow B\) falsch ist, dann ist \(B\) nicht automatisch falsch. In Deiner Argumentation schließt Du aus der Falschheit der Prämisse auf die Falschheit der Aussage, was nicht korrekt ist. Zudem müssen \(a,b\in\mathbb{Z}\) sein, was in diesem Fall zwar stimmt, aber in Deinem Kommentar nicht erwähnt wurde. Hilft Dir das weiter? Stelle ruhig weitere Fragen, wenn noch etwas unklar ist.