Blumenkind (Blumenkind)
Neues Mitglied Benutzername: Blumenkind
Nummer des Beitrags: 2 Registriert: 02-2002
| Veröffentlicht am Samstag, den 21. Februar, 2004 - 14:57: |
|
a)Bewise die Regelen (1) (x1,x2)~(x1,x2) für alle (x1,x2)e N x N; (2) aus (x1,x2)~(y1,y2) folgt (y1,y2)~(x1,x2); (3) aus (x1,x2)~(y1,2)und (y1,y2)~(z1,z2) folgt (x1,x2)~(z1,z2)und begründe die einzelnen Schritte anhand der Rechenregeln in N. b) Begründe anhand der Regeln 1-3, daß durch die Äquivalenz von Zahlenpaaren eine Klasseneinteilung von N x N erzeugt wird. Danke |