Lösung von Aufgabe 5.2 P (SoSe 19)

Satz: Gegeben sei ein Dreieck $ {\overline {ABC}} $ in einer Ebene E und eine Gerade g in dieser Ebene, die keine der drei Punkte A, B und C enthält. Wenn g die Strecke Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \overline{BC} schneidet, so schneidet sie auch entweder die Strecke Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \overline{AC} oder die Strecke Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \overline{AB} .
a) Wie lautet die Kontraposition dieser Implikation?
b) Wie lautet die Annahme, wenn Sie diese Implikation durch einen Widerspruch beweisen möchten?

a) Wenn g die Strecke Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \overline{BC} nicht schneidet, so schneidet sie auch keine der Strecken Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \overline{AC} oder die Strecke Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \overline{AB} .

Das ist leider nicht die Kontraposition. --Tutorin Laura (Diskussion) 17:39, 20. Mai 2019 (CEST)

b) Annahme: Wenn g entweder die Strecke Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \overline{AC} oder die Strecke Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \overline{AB} schneidet, so schneidet sie nicht die Strecke Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \overline{BC} .
--Goldxyz (Diskussion) 17:07, 17. Mai 2019 (CEST)

Leider ist das nicht korrekt. Du hast hier auch nicht die Annahme formuliert. 
Bei der Annahme muss nur die Behauptung verneint werden! Die Voraussetzung gehört nicht in die Annahme. --Tutorin Laura (Diskussion) 17:39, 20. Mai 2019 (CEST)