Hallo,
was meinst du denn bitte mit "m~n ist durch 5 teilbar"? m~n ist eine Aussage und bedeutet, dass m und n in Relation stehen. Logischerweise kann man eine Aussage nicht durch eine Zahl teilen...
Ersetze "~" durch "-" und es passt wieder.
Zum Beweis der Transitivität:
Sei m~n und n~k, d.h. m-n ist durch 5 teilbar und n-o ist durch 5 teilbar.
=> m-n = 5*z_1 und n-o = 5*z_2, wobei z_1 und z_2 beliebige ganze Zahlen sind. (das ist einfach die Definition der Teilbarkeit)
=> (m-n)+(n-o) = 5*z_1 + 5*z_2
<=> m-o = 5*(z_1+z_2)
=> m-o ist durch 5 teilbar, weil z_1+z_2 wieder eine ganze Zahl ist.
Hoffe geholfen zu haben.
P.S. Irgendwie hab ich den Eindruck, dass hier neulich eine sehr ähnliche Aufgabe auftauchte. Kannst ja mal das Forum durchsuchen, falls du mehr wissen willst.
|