Woran erkenne ich, dass ich Kontraposition statt eines direkten Beweises nehmen sollte?

Schau dir die Voraussetzung an. Wenn sie schwer zu nutzen ist (eine Aussage über $n^2$, ein Produkt, eine Summe), die verneinte Behauptung dir aber eine Formel liefert ($n = 2k$, $n = 2k + 1$, $x < 5$ und $y < 5$), ist die Kontraposition meist kürzer.

Was ist der Unterschied zum Widerspruchsbeweis?

Beim Widerspruchsbeweis nimmst du $p$ und $\neg q$ an und suchst irgendeine unmögliche Situation. Beim Beweis durch Kontraposition nimmst du nur $\neg q$ an und musst genau bei $\neg p$ ankommen. Jeder Beweis durch Kontraposition lässt sich als Widerspruchsbeweis umschreiben, aber nicht jeder Widerspruchsbeweis ist eine Kontraposition.

Wenn ich die Kontraposition beweise, ist dann auch die Umkehrung wahr?

Nicht automatisch. Die Umkehrung $q \to p$ ist eine eigene Aussage. Zum Beispiel sind "wenn $n^2$ gerade ist, dann ist $n$ gerade" und ihre Umkehrung "wenn $n$ gerade ist, dann ist $n^2$ gerade" beide wahr, aber jede braucht ihren eigenen Beweis.

Lehrermaterialien

Beweis durch Kontraposition

Q: Warum beweist die Kontraposition die ursprüngliche Aussage?

Weil beide logisch äquivalent sind: In der Wahrheitstabelle sind $p \to q$ und $\neg q \to \neg p$ in genau derselben Zeile falsch ($p$ wahr, $q$ falsch) und in allen anderen wahr. Wer die eine beweist, hat auch die andere bewiesen.

Q: Was ist der Unterschied zum Widerspruchsbeweis?

Beim Widerspruchsbeweis nimmst du $p$ und $\neg q$ an und suchst irgendeine unmögliche Situation. Beim Beweis durch Kontraposition nimmst du nur $\neg q$ an und musst genau bei $\neg p$ ankommen. Jeder Beweis durch Kontraposition lässt sich als Widerspruchsbeweis umschreiben, aber nicht jeder Widerspruchsbeweis ist eine Kontraposition.

Q: Wenn ich die Kontraposition beweise, ist dann auch die Umkehrung wahr?

Nicht automatisch. Die Umkehrung $q \to p$ ist eine eigene Aussage. Zum Beispiel sind "wenn $n^2$ gerade ist, dann ist $n$ gerade" und ihre Umkehrung "wenn $n$ gerade ist, dann ist $n^2$ gerade" beide wahr, aber jede braucht ihren eigenen Beweis.

Beweise eine Wenn-dann-Aussage, indem du annimmst, dass die Behauptung falsch ist, und zeigst, dass dann auch die Voraussetzung falsch ist.

Fortgeschritten25 MinLektion

Arbeitsblatt zum Drucken

Definition

Ein Beweis durch Kontraposition beweist eine Wenn-dann-Aussage

p \to q

, indem er stattdessen ihre Kontraposition

\neg q \to \neg p

beweist. Du nimmst an, dass die Behauptung falsch ist, und zeigst, dass dann auch die Voraussetzung falsch sein muss.

Warum das erlaubt ist (Wiederholung aus der Lektion Kontraposition): Eine Aussage und ihre Kontraposition sind logisch äquivalent. Ihre Spalten in der Wahrheitstabelle stimmen in jeder Zeile überein (T steht für wahr, F für falsch; die interaktive Tabelle schreibt W und F):

\begin{array}{c|c|c|c|c|c} p & q & p \to q & \neg q & \neg p & \neg q \to \neg p \\ \hline F & F & T & T & T & T \\ F & T & T & F & T & T \\ T & F & F & T & F & F \\ T & T & T & F & F & T \end{array}

Sobald also

\neg q \to \neg p

bewiesen ist, ist auch

p \to q

bewiesen.

Der Plan des Beweises:

1.Schreibe die Kontraposition auf: Verneine Voraussetzung und Behauptung und vertausche sie.
2.Nimm $\neg q$ an (die Behauptung ist falsch).
3.Arbeite mit Definitionen und Algebra vorwärts, genau wie bei einem direkten Beweis.
4.Komme bei $\neg p$ an (die Voraussetzung ist falsch).
5.Folgere: Die Kontraposition ist wahr, also ist die ursprüngliche Aussage wahr.

Wann du ihn wählst: wenn die Voraussetzung

p

wenig hergibt ("

n^2

ist gerade" sagt nichts Einfaches über

n

), die verneinte Behauptung

\neg q

aber konkret ist ("

n

ist ungerade" heißt

n = 2k + 1

Nicht dasselbe wie ein Widerspruchsbeweis: Dort nimmst du

p

und

\neg q

zusammen an und suchst *irgendeinen* Widerspruch. Hier nimmst du nur

\neg q

an und steuerst auf ein festes Ziel zu:

\neg p

Probier es gleich aus

Welche Aussage ist die Kontraposition von "Wenn

n^2

gerade ist, dann ist

n

gerade"?

Lösungsbeispiele

Beweise: Für jede ganze Zahl $n$ gilt: Wenn $n^2$ gerade ist, dann ist $n$ gerade.

Schreibe die Kontraposition auf

Verneine beide Teile und vertausche sie: "Wenn $n$ nicht gerade ist, dann ist $n^2$ nicht gerade" → Wenn $n$ ungerade ist, dann ist $n^2$ ungerade

Nimm die verneinte Behauptung an

Nimm an, $n$ ist ungerade, also $n = 2k + 1$ für eine ganze Zahl $k$ → $n = 2k + 1$

Quadriere und multipliziere aus

$n^2 = (2k + 1)^2 = 4k^2 + 4k + 1$ → $n^2 = 4k^2 + 4k + 1$

Bringe es in die Form 2m + 1

$n^2 = 2(2k^2 + 2k) + 1$ , und $m = 2k^2 + 2k$ ist eine ganze Zahl → $n^2$ ist ungerade

Folgere

Wir haben " $n$ ungerade $\Rightarrow$ $n^2$ ungerade" bewiesen, die Kontraposition der Aussage → Wenn $n^2$ gerade ist, dann ist $n$ gerade

Antwort: Die Kontraposition (wenn $n$ ungerade ist, dann ist $n^2$ ungerade) ist wahr, also ist die ursprüngliche Aussage wahr. q. e. d.

Häufige Fehler

Die Umkehrung statt der Kontraposition beweisen: Bei "wenn $n^2$ gerade ist, dann ist $n$ gerade" annehmen, dass $n$ gerade ist, und zeigen, dass $n^2$ gerade ist

Warum es falsch ist: Damit beweist du $q \to p$ , die Umkehrung, und das ist eine andere Aussage. Eine Aussage und ihre Umkehrung sind nicht äquivalent.

Richtig: Verneine beide Teile und vertausche sie: Nimm an, $n$ ist ungerade ( $\neg q$ ), und zeige, dass $n^2$ ungerade ist ( $\neg p$ ).

" $x$ und $y$ sind ungerade" verneinen als " $x$ und $y$ sind gerade"

Warum es falsch ist: Die Behauptung ist schon falsch, sobald eine der Zahlen gerade ist. "Beide gerade" deckt nur einen Teil der Fälle ab, der Beweis wäre unvollständig.

Richtig: "Nicht ( $a$ und $b$ )" heißt "nicht $a$ oder nicht $b$ ": $x$ ist gerade oder $y$ ist gerade. Beweise dann jeden Fall.

$x \geq 5$ verneinen als $x \leq 5$

Warum es falsch ist: Der Wert $x = 5$ erfüllt sowohl $x \geq 5$ als auch $x \leq 5$ , also ist $x \leq 5$ nicht das Gegenteil von $x \geq 5$ .

Richtig: Die Verneinung von $x \geq 5$ ist $x < 5$ , und die Verneinung von $x > 5$ ist $x \leq 5$ .

$\neg q$ annehmen und dann nach "irgendeinem Widerspruch" suchen

Warum es falsch ist: Damit vermischst du zwei Methoden. Beim Beweis durch Kontraposition gibt es keinen Widerspruch: Du hast ein klares Ziel.

Richtig: Nimm $\neg q$ an und arbeite, bis du genau bei $\neg p$ bist. Die Suche nach irgendeinem Widerspruch gehört zum Widerspruchsbeweis.

Interaktive Visualisierung

Wahrheitstabelle

Ausdruckp → q ↔ ¬q → ¬p

p	q	p → q	¬q	¬p	¬q → ¬p	p → q ↔ ¬q → ¬p
F	F	W	W	W	W	W
F	W	W	F	W	W	W
W	F	F	W	F	F	W
W	W	W	F	F	W	W

W= WahrF= Falsch

Interaktiver Sandkasten

Ausdrucksrechner

Probiere diese:

Verlauf

Noch keine Berechnungen

Übungsaufgaben

18 Aufgaben

Aufgabe 1 von 18

Einfach

Welche Aussage ist die Kontraposition von "Wenn $n^2$ gerade ist, dann ist $n$ gerade"?

Warum es wichtig ist

Der Beweis durch Kontraposition gehört zu den nützlichsten Werkzeugen der Mathematik:

Er macht aus vagen Voraussetzungen konkrete: Mit " $n^2$ ist gerade" kann man kaum arbeiten, mit " $n$ ist ungerade, also $n = 2k + 1$ " sehr gut
Er hilft bei Behauptungen mit "oder": Die Verneinung von " $x \geq 5$ oder $y \geq 5$ " ist das handliche " $x < 5$ und $y < 5$ "
Er steckt in klassischen Sätzen: Der Beweis, dass $\sqrt{2}$ irrational ist, nutzt die Tatsache, dass aus $n^2$ gerade folgt, dass $n$ gerade ist, und genau das zeigt man durch Kontraposition
Er ist Alltagslogik: "Wenn der Rauchmelder funktioniert, piept er beim Test" bedeutet "Kein Piepen, also ist der Melder kaputt"
Er bereitet dich auf den Widerspruchsbeweis vor, die nächste Lektion dieses Themas, weil du dabei lernst, Aussagen richtig zu verneinen

Wenn du sicher verneinen und die Blickrichtung wechseln kannst, werden viele Beweise, die direkt unmöglich wirken, nur ein paar Zeilen lang.

Anwendungen im echten Leben

Qualitätskontrolle

Prüferinnen und Prüfer nutzen die Kontraposition, um Fälle auszuschließen, ohne jedes Teil doppelt zu wiegen.

Beispiel:

Regel: Wenn ein Paket aus 4 Schachteln mindestens 2000 g wiegt, dann wiegt mindestens eine Schachtel mindestens 500 g. Kontraposition: Wenn jede Schachtel weniger als 500 g wiegt, wiegt das Paket weniger als 2000 g.

1Probiere es selbst

Eine Maschine füllt 4 Schachteln, und keine davon kann mehr als 495 g aufnehmen.

Zeige mit der Kontraposition, dass das Paket 2000 g nicht erreichen kann.

Schritt 1: Schreibe den mathematischen Ausdruck

Größtmögliches Gesamtgewicht der 4 Schachteln:

Software testen

Programmiererinnen und Programmierer testen Code mit der Kontraposition: Wenn der Code korrekt ist, liefert ein Test das richtige Ergebnis, also beweist ein falsches Ergebnis einen Fehler.

Beispiel:

Eine Funktion soll $f(n) = 3n + 2$ berechnen. Wir haben bewiesen: Wenn $f(n)$ ungerade ist, dann ist $n$ ungerade. Kontraposition: Ein gerades $n$ muss ein gerades Ergebnis liefern.

2Probiere es selbst

Ein Test ruft die Funktion mit $n = 8$ auf, und das Programm gibt 27 zurück.

Was wäre das richtige Ergebnis, und was verrät dir die 27?

Schritt 1: Schreibe den mathematischen Ausdruck

Berechne den richtigen Wert $f(8)$ :

Prüfziffern in Codes

Viele Codes verwenden eine einfache Regel, um Tippfehler zu erkennen. Die Kontraposition sagt dir, wann ein Code sicher falsch ist.

Beispiel:

Regel: Wenn ein Code gültig ist, dann ist seine Quersumme durch 9 teilbar. Kontraposition: Wenn die Quersumme nicht durch 9 teilbar ist, ist der Code nicht gültig.

3Probiere es selbst

Jemand tippt den Code 4726 ein.

Entscheide mit der Kontraposition, ob der Code gültig sein kann.

Schritt 1: Schreibe den mathematischen Ausdruck

Quersumme:

Wichtige Erkenntnisse

1Ein Beweis durch Kontraposition beweist $p \to q$ , indem er $\neg q \to \neg p$ beweist
2Das funktioniert, weil eine Aussage und ihre Kontraposition logisch äquivalent sind (gleiche Spalten in der Wahrheitstabelle)
3Plan: Nimm an, dass die Behauptung falsch ist, arbeite vorwärts und zeige, dass die Voraussetzung falsch ist
4Wähle ihn, wenn die verneinte Behauptung konkret ist, zum Beispiel liefert " $n$ ist ungerade" die Form $n = 2k + 1$
5Verneine sorgfältig: Aus "und" wird "oder", aus "oder" wird "und", aus $\geq$ wird $<$
6Anders als beim Widerspruchsbeweis nimmst du nur $\neg q$ an und hast ein Ziel: $\neg p$

Häufig gestellte Fragen

Weil beide logisch äquivalent sind: In der Wahrheitstabelle sind

p \to q

und

\neg q \to \neg p

in genau derselben Zeile falsch (

p

wahr,

q

falsch) und in allen anderen wahr. Wer die eine beweist, hat auch die andere bewiesen.

Glossar

Kontraposition: Die Aussage $\neg q \to \neg p$ , die aus $p \to q$ entsteht, wenn man beide Teile verneint und vertauscht
Beweis durch Kontraposition: Ein Beweis von $p \to q$ , der $\neg q$ annimmt und daraus $\neg p$ folgert
Logisch äquivalent: Zwei Aussagen, die in jeder Zeile der Wahrheitstabelle denselben Wahrheitswert haben
Verneinung (Negation): Die Aussage "nicht $p$ " ( $\neg p$ ), die genau dann wahr ist, wenn $p$ falsch ist
Umkehrung: Die Aussage $q \to p$ ; sie ist nicht äquivalent zu $p \to q$
Gerade / ungerade ganze Zahl: Eine ganze Zahl der Form $2k$ (gerade) oder $2k + 1$ (ungerade), wobei $k$ eine ganze Zahl ist

Formelkarte

Äquivalenz der Kontraposition

p \to q \;\equiv\; \neg q \to \neg p

Wer die rechte Seite beweist, beweist die linke

"Und" verneinen

\neg(a \land b) \equiv \neg a \lor \neg b

Nicht beide: Mindestens eines ist falsch

"Oder" verneinen

\neg(a \lor b) \equiv \neg a \land \neg b

Keines von beiden: Beide sind falsch

Gerade und ungerade

n = 2k

(gerade),

\; n = 2k + 1

(ungerade)

Die konkreten Formen, die du nach dem Verneinen von "gerade" oder "ungerade" erhältst

Mehr zu diesem Thema

Definition

Lösungsbeispiele

Häufige Fehler

Interaktive Visualisierung

Wahrheitstabelle

Interaktiver Sandkasten

Ausdrucksrechner

Verlauf

Übungsaufgaben

Warum es wichtig ist

Anwendungen im echten Leben

Qualitätskontrolle

Software testen

Prüfziffern in Codes

Wichtige Erkenntnisse

Häufig gestellte Fragen

Glossar

Formelkarte

Äquivalenz der Kontraposition

"Und" verneinen

"Oder" verneinen

Gerade und ungerade

Mehr zu diesem Thema

Einführung in mathematische Beweise

Direkter Beweis

Zwei-Spalten-Beweise

Beweise in Textform