Zum Inhalt springen

Natürliche Zahlen/Gerade und ungerade/Induktive Definition/Aufgabe

Aus Wikiversity

Wir treffen die folgenden induktiven Festlegungen.

  1. Die ist gerade (und nicht ungerade).
  2. Wenn eine natürliche Zahl gerade ist, dann ist der Nachfolger ungerade.
  3. Wenn eine natürliche Zahl ungerade ist, dann ist der Nachfolger gerade.

Zeige, dass dadurch für jede natürliche Zahl eindeutig die Eigenschaft gerade bzw. ungerade festgelegt ist.