Bilden einer Formel mit Prädikatenlogik

Question

Die Aufgabe:

Im folgenden betrachten wir natürliche Zahlen m,n,i. Hier gilt: Für m gibt es immer ein n so, dass alle i, die zwischen m und n liegen, Quadratzahlen sind.

Ich weiß nicht genau, wie ich die Formel bilden soll :(

, Saskia

Answer 1

Hallo Saskia,

∀ m∈ℕ:  ∃ n∈ℕ:  ∀ i∈ℕ:  ( m<i<n  →  ∃ y∈ℕ:  i=y² )

Gruß Wolfgang