Formulierungen in Formeln umwandeln

Question

Ich soll die folgende Formulierungen in eine Formel umwandeln. Ich habe versucht diese zu machen, aber weiß nicht, ob diese richtig sind. Können Sie mir dabei helfen.

1) Jede natürliche Zahl ist mindestens genauso groß wie jede andere natürliche Zahl.

Mein Vorschlag:  ∀ x ∈ ℕ . ∀ y ∈ ℕ :  x >= y  v x <= y

2)Manche natürliche Zahlen sind das Produkt zweier Quadratzahlen.

 Mein Vorschlag: ∃ x ∈ ℕ : x * x <-> x ²

3) Jede rationale Zahl hat eine andere rationale Zahl, die sie teilt oder durch die sie teilbar ist.

Mein Vorschlag: ∀ x ∈ ℝ. ∀y ∈ ℝ.... Weiter weiß ich nicht

Comments

Ist es egal, dass/ob die angegebenen "Formulierungen" richtig sind oder nicht?

Answer 1

1) Jede natürliche Zahl ist mindestens genauso groß wie jede andere natürliche Zahl.

Vorschlag:  ∀ x ∈ ℕ ∧ ∀ y ∈ ℕ :  x ≥ y 

2)Manche natürliche Zahlen sind das Produkt zweier Quadratzahlen.

Vorschlag: ∃ y ∈ ℕ ∃ x ∈ ℕ: x ²* x² <-> y

3) Jede rationale Zahl hat eine andere rationale Zahl, die sie teilt oder durch die sie teilbar ist.

Vorschlag: ∀ x ∈ ℝ ∃y ∈ ℝ: x|y ∨ y|x

Comments

Bei 3) solltest du Q und nicht R verwenden.

Bei 2) würde ich auch noch versuchen "manche" und bei 1) das Wörtchen "andere" zu formalisieren.