Es sei (N, 0, S) ein Tripel natürlicher Zahlen und ≤ sei die auf N wie in der Vorlesung definierte Ordnungsrelation. Zeigen Sie die folgenden Aussagen:
(a) Für alle n∈N gilt n≤n.
(b) Für alle m,n,k∈N gilt m≤n∧n≤k ⇒ m≤k.
(c) Für alle m,n∈N gilt m≤n∧n≤m ⇒ m=n.
(d) Für alle m,n∈N gilt üm≤n∨n≤m.
Hier komme ich irgendwie nicht weiter, hat vielleicht jemand eine Idee schonmal im Vorhinein vielen Dank :)
