(Un)Gerade Zahlen/Termformulierungen/Aufgabe

Formuliere mit arithmetischen Grundsymbolen, Gleichheit, Quantoren und Junktoren die Eigenschaft (das Prädikat) einer natürlichen Zahl, gerade oder ungerade zu sein. Formuliere ebenso die Aussage, dass jede natürliche Zahl entweder gerade oder ungerade ist. Formuliere ferner die Aussage, dass zu jeder natürlichen Zahl ${}n$ die Zahl ${}n^{2}-n$ gerade ist.

Eine Lösung erstellen