TU Wien:Analysis UE (diverse)/Übungen WS22/Beispiel 2

(1P) Quantoren

In der Mathematik wird das Zeichen ${\textstyle \forall }$ für "für alle" verwendet, und ${\textstyle \exists }$ für "es gibt". Welche der Folgenden Aussagen gilt in $\mathbb {R}$, den reellen Zahlen:

(a) Für jedes $x$ gibt es ein größeres $z$.
$(\forall x)(\exists z)x<z$

(b) Es gibt ein größtes $z$.
$(\exists z)(\forall x)x\leq z$

(c) Für alle $x<z$ gibt es ein $y$ dazwischen, d.h. $x<y<z$.
$(\forall x)(\forall z)(x<z\rightarrow (\exists y)x<y<z)$ Wir schreiben das auch einfach $(\forall x<z)(\exists y)x<y<z$

(d) $(\exists y)(\forall x<z)x<y<z$

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:

{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}

Hilfreiches

Ein Gegenbeweis reicht aus, um die Gültigkeit der Aussagen zu widerlegen.

Lösungsvorschlag von Pingyourself

--Pingyourself 20:41, 18. Okt. 2022 (CEST)

(a) $x=n,z=x+1\rightarrow x<z$ man sieht, die Aussage ist richtig!

(b) $z=n,x=z+1\rightarrow x\leq z$ man sieht, die Aussage ist falsch!

(c) $x=n,z=x+1y=x+(z-x)/2\rightarrow n<n+((n+1)-n)/2<n+1$ man sieht, die Aussage ist richtig!

(d) $y=n,x=y+1,z=x+1\rightarrow x<y<z$ man sieht, die Aussage ist falsch!

An der Aufgabe wird einem nähergeführt, dass Quantoren in der Regel nicht vertauschbar sind.