    
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 |
