Kontraposition

Lerne, wie du die Kontraposition einer Wenn-dann-Aussage bildest, warum sie immer denselben Wahrheitswert wie die ursprüngliche Aussage hat und wie du damit über Zahlen schlussfolgerst.

Mittelstufe25 MinLektion

Definition

Die Kontraposition einer Wenn-dann-Aussage "Wenn pp, dann qq" (p→qp \to q) ist die Aussage "Wenn nicht qq, dann nicht pp":
¬q→¬p\neg q \to \neg p
Um sie zu bilden, machst du zwei Dinge: Du vertauschst Voraussetzung und Folgerung, und du verneinst beide.
Wichtige Tatsache: Eine Aussage und ihre Kontraposition sind logisch äquivalent. Sie sind immer beide wahr oder beide falsch. Die Wahrheitstabelle zeigt es Zeile für Zeile (W = wahr, F = falsch):
pq¬p¬qp→q¬q→¬pWWFFWWWFFWFFFWWFWWFFWWWW\begin{array}{c|c|c|c|c|c} p & q & \neg p & \neg q & p \to q & \neg q \to \neg p \\ \hline W & W & F & F & W & W \\ W & F & F & W & F & F \\ F & W & W & F & W & W \\ F & F & W & W & W & W \end{array}
Die letzten beiden Spalten sind gleich, also schreiben wir p→q≡¬q→¬pp \to q \equiv \neg q \to \neg p. (Die interaktive Tabelle in dieser Lektion prüft das für dich: Ihre letzte Spalte, (p→q)↔(¬q→¬p)(p \to q) \leftrightarrow (\neg q \to \neg p), ist in jeder Zeile W.)
Die vier verwandten Aussagen zu p→qp \to q:
  • Ursprüngliche Aussage: p→qp \to q
  • Umkehrung: q→pq \to p (nur vertauschen)
  • Inversion: ¬p→¬q\neg p \to \neg q (nur verneinen)
  • Kontraposition: ¬q→¬p\neg q \to \neg p (vertauschen und verneinen)
Die ursprüngliche Aussage und die Kontraposition stimmen immer überein. Auch die Umkehrung und die Inversion stimmen immer miteinander überein, denn die Inversion ist die Kontraposition der Umkehrung.

Probier es gleich aus

Wie lautet die Kontraposition von p→qp \to q?

Lösungsbeispiele

Schreibe die Kontraposition von: "Wenn eine Zahl durch 1010 teilbar ist, dann endet sie auf 00."

1

Bestimme die Voraussetzung pp und die Folgerung qq

pp: Eine Zahl ist durch 1010 teilbar. qq: Sie endet auf 00. → Zwei Teile gefunden

2

Verneine beide Teile

¬p\neg p: Die Zahl ist nicht durch 1010 teilbar. ¬q\neg q: Sie endet nicht auf 00. → Beide Teile verneint

3

Vertausche die Reihenfolge und schreibe ¬q→¬p\neg q \to \neg p

Setze die verneinte Folgerung nach vorne und die verneinte Voraussetzung nach hinten. → Wenn eine Zahl nicht auf 00 endet, dann ist sie nicht durch 1010 teilbar.

Häufige Fehler

Nur die Teile vertauschen und q→pq \to p für die Kontraposition halten

Warum es falsch ist: Vertauschen ohne Verneinen ergibt die Umkehrung, und die kann falsch sein, obwohl die ursprüngliche Aussage wahr ist.

Richtig: Vertausche und verneine beide Teile: Die Kontraposition von p→qp \to q ist ¬q→¬p\neg q \to \neg p.

"x>5x > 5" als "x<5x < 5" verneinen

Warum es falsch ist: Dabei geht der Fall x=5x = 5 verloren. Jede Zahl ist entweder größer als 55 oder nicht größer als 55, und "nicht größer" schließt die 55 selbst ein.

Richtig: Die Verneinung von x>5x > 5 ist x≤5x \le 5, und die Verneinung von x≥5x \ge 5 ist x<5x < 5.

Annehmen, dass die Umkehrung einer wahren Aussage auch wahr ist

Warum es falsch ist: "Wenn x=4x = 4, dann x2=16x^2 = 16" ist wahr, aber "Wenn x2=16x^2 = 16, dann x=4x = 4" ist falsch, denn auch x=−4x = -4 passt.

Richtig: Nur die Kontraposition hat garantiert denselben Wahrheitswert wie die ursprüngliche Aussage. Die Umkehrung musst du extra prüfen.

Sich in doppelten Verneinungen verlieren

Warum es falsch ist: Bei "Wenn es nicht regnet, dann gehe ich zu Fuß zur Schule" schreiben manche "Wenn ich nicht zu Fuß gehe, dann regnet es nicht nicht" oder lassen aus Versehen eine Verneinung weg.

Richtig: Die Verneinung von "es regnet nicht" ist "es regnet". Die Kontraposition lautet: "Wenn ich nicht zu Fuß zur Schule gehe, dann regnet es."

Interaktive Visualisierung

Wahrheitstabelle

Ausdruckp → q ↔ ¬q → ¬p
pqp → q¬q¬p¬q → ¬pp → q ↔ ¬q → ¬p
WWWFFWW
WFFWFFW
FWWFWWW
FFWWWWW

W= WahrF= Falsch

Wahrheitstabelle

p → q
pqp → q
WWW
WFF
FWW
FFW

W= WahrF= Falsch

Interaktiver Sandkasten

Ausdrucksrechner

Probiere diese:

Verlauf

Noch keine Berechnungen

Übungsaufgaben

18 Aufgaben
Aufgabe 1 von 18
Einfach

Wie lautet die Kontraposition von p→qp \to q?

Warum es wichtig ist

Die Kontraposition gibt dir eine zweite Tür in dieselbe Aussage, und manchmal lässt sich diese Tür viel leichter öffnen:
  • Zahlen: Um zu zeigen, dass 27502750 nicht durch 66 teilbar ist, genügt es zu sehen, dass die Zahl nicht durch 33 teilbar ist
  • Kontrolle: Wenn eine richtige Lösung eine ganze Zahl sein muss und du 4,54{,}5 erhältst, weißt du, dass etwas schiefgelaufen ist
  • Computerprogramme: "Wenn das Passwort stimmt, öffnet sich die Tür." Die Tür blieb zu, also war das Passwort falsch
  • Beweise: Später beweist du Aussagen wie "Wenn n2n^2 gerade ist, dann ist nn gerade", indem du stattdessen die Kontraposition beweist
Wer weiß, welche verwandten Aussagen übereinstimmen, schützt sich auch vor einem sehr häufigen Fehler: anzunehmen, dass die Umkehrung einer wahren Aussage auch wahr sein muss.

Anwendungen im echten Leben

Teilbarkeitsproben und Prüfziffern

Viele Codes und schnelle Kopfrechenproben beruhen auf Teilbarkeitsregeln, und die Kontraposition erlaubt es, eine Zahl ohne Division auszusortieren.

Beispiel:

Regel: Wenn eine Zahl durch 99 teilbar ist, dann ist ihre Quersumme durch 99 teilbar. Die Quersumme von 58125812 ist 1616, also kann 58125812 nicht durch 99 teilbar sein.

1Probiere es selbst

Regel: Wenn eine Zahl durch 99 teilbar ist, dann ist ihre Quersumme durch 99 teilbar. Ein Angestellter prüft die Codenummer 43724372.

Ist 43724372 durch 99 teilbar?

Schritt 1: Schreibe den mathematischen Ausdruck

Schreibe die Quersumme von 43724372 als Addition:

Regeln für kostenlosen Versand

Onlineshops haben oft Regeln wie "Wenn deine Bestellung 50 € oder mehr kostet, ist der Versand kostenlos." Die Kontraposition sagt dir, was Versandkosten auf deiner Rechnung bedeuten.

Beispiel:

Kontraposition: Wenn du Versandkosten bezahlt hast, dann lag deine Bestellung unter 50 €. Eine Rechnung mit Versandkosten beweist, dass die Bestellung unter der Grenze lag.

2Probiere es selbst

Regel: Wenn eine Bestellung insgesamt 50 € oder mehr kostet, ist der Versand kostenlos. Anna hat Versandkosten bezahlt. In ihrem Warenkorb lagen ein Buch für 18 € und eine Lampe für 27 €.

Wie hoch war ihre Bestellsumme, und wie viel hätte ihr für kostenlosen Versand noch gefehlt?

Schritt 1: Schreibe den mathematischen Ausdruck

Schreibe die Bestellsumme als Addition:

Tabellen im Sport lesen

Sportfans nutzen die Kontraposition, um anhand der Punktetabelle etwas auszuschließen, ohne jedes Spiel zu sehen.

Beispiel:

In einer Liga mit 33 Punkten für einen Sieg, 11 für ein Unentschieden und 00 für eine Niederlage gilt: Wenn eine Mannschaft alle 55 Spiele gewonnen hat, hat sie 1515 Punkte. Eine Mannschaft mit weniger als 1515 Punkten hat nicht jedes Spiel gewonnen.

3Probiere es selbst

Regel: Wenn eine Mannschaft alle 55 Spiele gewinnt, dann hat sie 1515 Punkte (33 pro Sieg, 11 pro Unentschieden, 00 pro Niederlage). Team Blau hat nach 55 Spielen 1313 Punkte.

Hat Team Blau alle Spiele gewonnen, und wie viele Spiele kann es höchstens gewonnen haben?

Schritt 1: Schreibe den mathematischen Ausdruck

Schreibe die Punkte für 55 Siege als Multiplikation:

Wichtige Erkenntnisse

  • 1Die Kontraposition von p→qp \to q ist ¬q→¬p\neg q \to \neg p: Vertausche die beiden Teile und verneine beide
  • 2Eine Aussage und ihre Kontraposition sind logisch äquivalent: Sie sind immer beide wahr oder beide falsch
  • 3Die Wahrheitstabelle zeigt es: p→qp \to q und ¬q→¬p\neg q \to \neg p sind nur in der Zeile pp wahr, qq falsch beide falsch
  • 4Die Umkehrung q→pq \to p und die Inversion ¬p→¬q\neg p \to \neg q stimmen miteinander überein, aber nicht unbedingt mit der ursprünglichen Aussage
  • 5Verneine sorgfältig: Das Gegenteil von x>5x > 5 ist x≤5x \le 5, und das Gegenteil von ungerade ist gerade
  • 6Wenn eine Aussage schwer direkt zu prüfen ist, prüfe stattdessen ihre Kontraposition, zum Beispiel "wenn nn ungerade ist, dann ist n2n^2 ungerade"

Häufig gestellte Fragen

Die Aussage p→qp \to q sagt: Immer wenn pp eintritt, tritt auch qq ein. Wenn also qq nicht eingetreten ist, kann auch pp nicht eingetreten sein, sonst wäre qq gefolgt. Genau das ist ¬q→¬p\neg q \to \neg p. Die Wahrheitstabelle bestätigt es in allen vier Fällen.
Die Aussage p→qp \to q sagt: Immer wenn pp eintritt, tritt auch qq ein. Wenn also qq nicht eingetreten ist, kann auch pp nicht eingetreten sein, sonst wäre qq gefolgt. Genau das ist ¬q→¬p\neg q \to \neg p. Die Wahrheitstabelle bestätigt es in allen vier Fällen.
Beide verneinen die zwei Teile, aber die Inversion behält die Reihenfolge bei (¬p→¬q\neg p \to \neg q), während die Kontraposition sie zusätzlich vertauscht (¬q→¬p\neg q \to \neg p). Die Kontraposition ist zur ursprünglichen Aussage äquivalent, die Inversion zur Umkehrung.
Ja. Die beiden sind äquivalent, also haben sie immer denselben Wahrheitswert. "Wenn eine Zahl gerade ist, dann ist sie durch 44 teilbar" ist falsch (66 ist ein Gegenbeispiel), und ebenso "Wenn eine Zahl nicht durch 44 teilbar ist, dann ist sie nicht gerade", mit demselben Gegenbeispiel 66.
Nein. Mit der Kontraposition beweist du direkt ¬q→¬p\neg q \to \neg p statt p→qp \to q. Ein Widerspruchsbeweis nimmt an, dass die ganze Aussage falsch ist, und kommt zu einem unmöglichen Ergebnis. Beide Methoden kommen im Thema Beweise vor.

Glossar

Kontraposition
Die Aussage ¬q→¬p\neg q \to \neg p, die aus p→qp \to q durch Vertauschen und Verneinen beider Teile entsteht
Umkehrung
Die Aussage q→pq \to p, die durch Vertauschen von Voraussetzung und Folgerung entsteht
Inversion
Die Aussage ¬p→¬q\neg p \to \neg q, die durch Verneinen von Voraussetzung und Folgerung ohne Vertauschen entsteht
Verneinung (Negation)
Das Gegenteil einer Aussage, geschrieben ¬p\neg p; sie ist genau dann wahr, wenn pp falsch ist
Logisch äquivalent
Zwei Aussagen, die in jeder Zeile einer Wahrheitstabelle denselben Wahrheitswert haben, geschrieben mit ≡\equiv

Formelkarte

Kontraposition

p→q≡¬q→¬pp \to q \equiv \neg q \to \neg p

Beide Teile vertauschen und verneinen; immer äquivalent zur ursprünglichen Aussage

Umkehrung und Inversion

q→p≡¬p→¬qq \to p \equiv \neg p \to \neg q

Zueinander äquivalent, aber nicht unbedingt zur ursprünglichen Aussage

Ungleichungen verneinen

¬(x>a)  ⟺  x≤a\neg(x > a) \iff x \le a

Die Verneinung von "größer als" ist "kleiner oder gleich"

Mehr zu diesem Thema