Aussagen richtig formalisieren

Question

Aufgabe:
Formalisieren Sie die folgenden Aussagen und bestimmen Sie
deren jeweilige Negation

Es gibt eine natürliche Zahl, die Teiler einer jeden ganzen Zahl ist.

Problem/Ansatz:

Also ich denke, dass ich mit meinem Ausdruck schon fast richtig liege. Habe aber jetzt noch das Problem bei der Bedingung.

∃!x∈ℕ:{...}

¬∃...

Es kann aber auch sein, dass ich das komplett falsch mache.

Answer 1

Hallo,

Es gibt eine natürliche Zahl, die Teiler einer jeden ganzen Zahl ist.

∃n∈ℕ ∀m∈ℤ : n|m

Comments

Hey, danke dir.

Wie genau spricht man die Bedingung n|m ?

---

n teilt m  (n ist ein Teiler von m)