Lösung von Zusatzaufgabe 4.1 P (WS 12 13)

$\neq$ Gegeben sei folgende Äquivalenz: Der Abstand zweier Punkte A und B ist genau dann 0, wenn A und B identisch sind.
a) Formulieren Sie die beiden Implikationen, die in dieser Aussage stecken.
b) Wie lautet jeweils die Kontraposition der beiden Implikationen?
c) Wie lauten die beiden Annahmen, wenn Sie diese Implikationen jeweils durch einen Widerspruch beweisen möchten?

A) Implikation 1: Der Absatnd zweier Punkte A und B ist 0.
Implikation 2: A und B sind identisch.--Hakunamatata 14:50, 26. Nov. 2012 (CET)
Du hast zwar Aussagen formuliert, aber keine Implikationen. Implikationen sind Sätze, bei denen aus einer Aussage A eine weitere (B) folgt. A$\Rightarrow$ B--Tutorin Anne 19:14, 27. Nov. 2012 (CET)

1.) |AB| = 0 => A = B
2.) A = B => |AB| = 0--Unicycle 21:38, 17. Jan. 2013 (CET)

• Top!--Tutorin Anne 19:14, 18. Jan. 2013 (CET)

Kontra 1: Der Abstand zweier Punkte ist größer 0.
Kontra 2: A und B sind verschiedene Punkte. --Hakunamatata 14:50, 26. Nov. 2012 (CET)
Auch Kontrapositionen sind Implikationen. Das muss auch hier geändert werden.--Tutorin Anne 19:14, 27. Nov. 2012 (CET)

1.) $|AB|\neq 0 => A \neq B$
2.) $A \neq B => |AB| \neq 0$--Unicycle 21:38, 17. Jan. 2013 (CET)

• Achtung, hier hat sich ein Fehler eingeschlichen. Was genau ist eine Kontraposition? Was wäre die Kontraposition vom allgemeinen Fall $A \rightarrow B$ ?--Tutorin Anne 19:14, 18. Jan. 2013 (CET)

Mist! Die Seiten müssen jeweils getauscht werden. Die Kontraposition von: $A \rightarrow B$ ist .
Annahme1: Der Anstand zweier Punkte A und B ist 0, wenn A und B zwei nicht identische Punkte sind.

Annahme 2: Der Abstand zweier Punkte ist nicht 0, wenn A und B zwei identische Punkte sind. --Hakunamatata 14:50, 26. Nov. 2012 (CET).
Hier hast du Annahme und Voraussetzung verwoben. Nenne nur die Annahme.--Tutorin Anne 19:14, 27. Nov. 2012 (CET)

1.) $A \neq B$
2.) $|AB| \neq 0$--Unicycle 21:38, 17. Jan. 2013 (CET)

• Genau!--Tutorin Anne 19:14, 18. Jan. 2013 (CET)