TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2023W/Beispiel 90

Aus VoWi
Zur Navigation springen Zur Suche springen

Man bestätige die Richtigkeit der folgenden Behauptungen durch einen indirekten Beweis:

(a) Ist die Summe zweier Zahlen ungerade, dann ist genau einer der beiden Summanden ungerade.

(b) Ist das Quadrat einer ganzen Zahl gerade, dann ist auch gerade.

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
}}


WS16 Beispiel 86

Hilfreiches[Bearbeiten | Quelltext bearbeiten]

Aus "Mathematik für Informatik", S. 27:

Oder:

Lösung(svorschlag)[Bearbeiten | Quelltext bearbeiten]

von --Christian.abila 15:36, 10. Jul. 2012 (CEST)

(a) a = "Die Summe m+n zweier Zahlen m,n ∈ Z ist ungerade", b = "Es ist genau einer der beiden Summanden ungerade"
Eine ungerade Zahl kriegt man immer dann, wenn tatsächlich einer der Summanden ungerade ist. Die Summe von zwei ungeraden Zahlen ergibt immer eine gerade Zahl. Die Implikation a ⇒ b ist also wahr.
Jetzt muss betrachtet werden, ob auch ¬b ⇒ ¬a wahr ist.
¬a = "Die Summe m+n zweier Zahlen m,n ∈ Z ist nicht ungerade", ¬b = "Es ist nicht genau einer der beiden Summanden ist ungerade"
oder anders formuliert: ¬a = "Die Summe m+n zweier Zahlen m,n ∈ Z ist gerade", ¬b = "Beide Summanden sind ungerade"
Das ist wahr, wie oben schon herausgefunden wurde.
Daraus folgt a ⇒ b ⇔ ¬b ⇒ ¬a ist wahr.

(b) a = "Das Quadrat n^2 einer ganzen Zahl n ∈ Z ist gerade", b = "n ist auch gerade"
a ⇒ b ist wahr.
¬a ="Das Quadrat n^2 einer ganzen Zahl n ∈ Z ist ungerade", ¬b = "n ist auch ungerade"
¬b ⇒ ¬a ist wahr. Daraus folgt a ⇒ b ⇔ ¬b ⇒ ¬a ist wahr.

Siehe auch[Bearbeiten | Quelltext bearbeiten]