Hey!
Ich komme bei den Aussagen mit Quantoren nicht weiter. Es soll folgender Satz ausgedrückt werden:
"Jede gerade Zahl ist durch 2 teilbar"
Mein Ansatz ist: ∀ (x * 2) ∈ ℕ : ((x * 2) : 2) ∈ ℕ (Für ℕ ohne 0)
-> Für jede gerade Zahl, also praktisch 1*2, 2*2, 3*2, ..., gilt dass man sie durch 2 teilen kann und sie trotzdem eine natürliche Zahl bleibt, also kein Bruch. Jedoch ist der hintere Teil doppelt gemoppelt.
Könnt ihr mir sagen, inwieweit das passt?