Natürliche Zahl/Größer drei Quadratzahlen/Prädikatenlogische Beschreibung/Aufgabe

1. Bestimme die kleinste natürliche Zahl, die größer als die ersten drei Quadratzahlen ist.
2. Beschreibe die Bedingung (und zwar so, dass die Bedingung erkennbar ist) aus (1) durch einen prädikatenlogischen arithmetischen Ausdruck (also mit dem Symbolalphabet ${}+,\cdot ,0,1$ und Variablen) in der einen freien Variablen ${}x$.
3. Beschreibe das Ergebnis aus (1) durch einen einfachen prädikatenlogischen Ausdruck in der einen freien Variablen ${}x$.

Zur Lösung, Alternative Lösung erstellen