Beweise (A⊆B)⇒(B^C ⊆A^C) indirekt.
Wäre folgend
¬(B^C ⊆A^C)⇒¬(A⊆B) korrekt? Und wie mache ich dann weiter?
Beweise (A⊆B)⇒(BC ⊆AC) indirekt.
Ansatz: Angenommen es gelte nicht (A⊆B)⇒(BC ⊆AC). Dann müsste es eine Möglichkeit geben, dass A⊆B wahr ist, aber BC ⊆AC falsch.
¬(BC ⊆AC)⇒¬(A⊆B)
Das ist die Kontraposition. Beweis durch Berweis der Kontraposition ist etwas anderes als indirekter Beweis.
Okay, das war mein Denkfehler. Danke
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos