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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  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 und Variablen) in der einen freien Variablen .
  3. Beschreibe das Ergebnis aus (1) durch einen einfachen prädikatenlogischen Ausdruck in der einen freien Variablen .
Zur Lösung, Alternative Lösung erstellen