Wir benennen die Aussagenteile mal wie folgt:
A : a2 ist nicht durch 5 teilbar B : a ist nicht durch 5 teilbar
Deine gegebene Aussage wäre dann:
A→B
Negation allgemein : Die Negation einer Aussage C ist ¬C
Also Negation (A→B) ist ¬(A→B)und das ist dasselbe wie A∧¬B(∗)
In Worten : Obwohl a2 nicht durch 5 teilbar ist, ist a durch 5 teilbar
Kontraposition allgemein : Wurde ja in der anderen Antwort schon sehr gut erkla¨rt, also
Kontraposition(A→B) ist ¬B→¬A
In Worten : Wenn a durch 5 teilbar ist, dann ist auch a2 durch 5 teilbar
Falls das mit (*) markierte unklar ist, einfach mal "Aussagen negieren" googeln, da gibt es viele Erklärungen :)