Zyron (Zyron)
Junior Mitglied Benutzername: Zyron
Nummer des Beitrags: 7 Registriert: 10-2000
| Veröffentlicht am Donnerstag, den 30. Oktober, 2003 - 20:20: |
|
hi leutz, bin nicht sicher ob meine Beweisführung richtig ist, falls ihr Fehler findet, bitte korrigiert mich. E(n)= f.a. m,n,p e N : (m+n)+p = m+(n+p) Vollst. Induktion über m I.A. z.z. E(0) (0+n)+p = n+p = 0+(n+p) I.V. (m+n)+p=m+(n+p) I.B. (succ(m)+n)+p=succ(m)+(n+p) I.S. (succ(m)+n)+p = succ(m+n)+p = succ(m+n+p) = m+n+p+1 = m+1 + n+p = (m+1)+(n+p) = succ(m)+(n+p) wäre Dankbar, wenn das jemand mal überprüfen könnte. Vielen Dank schonma |