Leitfaden für Lehrer: Beweis durch Kontraposition

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

Lektion präsentierenSchülerseite anzeigen

Diese Lektion im Unterricht nutzen

Kostenlos, keine Schülerkonten nötig.

Mit Schülern teilen

Die Schüler öffnen die Lektion und üben mit sofortigem Feedback.

Arbeitsblatt zum Drucken

Alle Übungsaufgaben auf Papier, mit separatem Lösungsblatt.

Arbeitsblatt Lösungen

Klassenquiz

10 Fragen zu Mathematische Beweise. Die Schüler machen mit einem Namen mit, du siehst alle Ergebnisse.

Für Lehrer

Lernziele

Erklären, warum eine Aussage und ihre Kontraposition logisch äquivalent sind
Entscheiden, wann ein Beweis durch Kontraposition einfacher ist als ein direkter Beweis
Behauptungen mit "und", "oder" und Ungleichungen korrekt verneinen
Vollständige Beweise durch Kontraposition über gerade und ungerade Zahlen und Ungleichungen schreiben
Den Beweis durch Kontraposition vom Widerspruchsbeweis unterscheiden

Voraussetzungen

• Direkter Beweis: die Voraussetzung annehmen und die Behauptung herleiten
• Kontraposition: aus einer Wenn-dann-Aussage $\neg q \to \neg p$ bilden
• Einführung in mathematische Beweise: Voraussetzung, Behauptung und q. e. d.
• Definitionen gerader ( $2k$ ) und ungerader ( $2k + 1$ ) ganzer Zahlen

Diskussionsstarter

1. "Wenn es regnet, ist die Straße nass." Was kannst du folgern, wenn die Straße trocken ist? Und was, wenn sie nass ist?
2. Warum ist die Voraussetzung " $n^2$ ist gerade" schwerer zu nutzen als " $n$ ist ungerade"?
3. Was ist das Gegenteil von "mindestens eine der Zahlen ist 5 oder größer"?
4. Wie würdest du einer Freundin oder einem Freund den Unterschied zwischen einem Beweis durch Kontraposition und einem Widerspruchsbeweis erklären?

Häufige Missverständnisse

Kontraposition und Umkehrung sind dasselbe

Abhilfe: Nimm eine wahre Aussage mit falscher Umkehrung: "Wenn eine Zahl durch 4 teilbar ist, ist sie gerade." Die Umkehrung ist falsch ( $6$ ist gerade, aber nicht durch 4 teilbar), die Kontraposition ("wenn eine Zahl ungerade ist, ist sie nicht durch 4 teilbar") ist wahr.

Verneinen heißt einfach, vor jedes Wort "nicht" zu setzen

Abhilfe: Übe mit " $x$ und $y$ sind ungerade": Die Lernenden testen Paare wie $(2, 3)$ und sehen, dass die Aussage schon falsch ist, wenn nur eine Zahl gerade ist. So kommen sie auf " $x$ ist gerade oder $y$ ist gerade".

Ein Beweis durch Kontraposition muss mit einem Widerspruch enden

Abhilfe: Schreibe beide Beweise von "wenn $n^2$ gerade ist, dann ist $n$ gerade" nebeneinander und zeige, dass die Version mit Kontraposition einfach bei " $n^2$ ist ungerade" endet.

Differenzierungsideen

Für Schüler mit Schwierigkeiten:

• Gib eine Vorlage: Kontraposition: ... / Annahme: ... / Dann: ... / Also: ... / Damit ist die ursprüngliche Aussage wahr
• Beginne mit Alltagssätzen, bevor du zu Zahlen wechselst
• Prüfe jeden Schritt mit konkreten Zahlen wie $n = 7$ oder $n = 10$

Für Schüler auf Niveau:

• Die klassischen Aussagen zu gerade und ungerade ohne Vorlage beweisen
• Aussagen mit und, oder und Ungleichungen verneinen und dann beweisen
• Für jede Aussage entscheiden, ob ein direkter Beweis oder eine Kontraposition kürzer ist

Für fortgeschrittene Schüler:

• Beweise: Wenn $n^2$ durch 3 teilbar ist, dann ist $n$ durch 3 teilbar (Fälle $n = 3k + 1$ und $n = 3k + 2$ )
• Nutze "aus $n^2$ gerade folgt $n$ gerade", um den Beweis nachzuvollziehen, dass $\sqrt{2}$ irrational ist
• Schreibe einen Beweis durch Kontraposition als Widerspruchsbeweis um und vergleiche die Längen

Standardausrichtung

MP3 (CCSS.MATH.PRACTICE.MP3)
Tragfähige Argumente aufbauen und die Argumentation anderer kritisch prüfen
MP6 (CCSS.MATH.PRACTICE.MP6)
Auf Genauigkeit achten, auch beim präzisen Gebrauch von logischen Verknüpfungen und Verneinungen
HSA-REI.A.1 (CCSS.MATH.CONTENT.HSA.REI.A.1)
Jeden Schritt beim Lösen einer Gleichung als Folgerung aus der Gleichheit im vorherigen Schritt erklären

Lektionsressourcen

visualWahrheitstabelle: zwei gleiche Spalten
Die Lernenden bauen die Spalten $p \to q$ und $\neg q \to \neg p$ und sehen, dass sie übereinstimmen
activityDirekt oder Kontraposition?
8 Aussagen danach sortieren, welche Methode den kürzeren Beweis liefert, dann zwei davon beweisen
worksheetVerneinungstraining
Aussagen mit und, oder, mindestens eins und Ungleichungen verneinen, bevor Beweise geschrieben werden

Lektionsinhalt

Alles, was die Schüler sehen: Definition, Beispiele, typische Fehler, Anwendungen. Zum Öffnen tippen.

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

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.

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

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.

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.

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

Leitfaden für Lehrer: Beweis durch Kontraposition

Diese Lektion im Unterricht nutzen

Für Lehrer

Für Schüler mit Schwierigkeiten:

Für Schüler auf Niveau:

Für fortgeschrittene Schüler:

Lektionsinhalt

Definition

Lösungsbeispiele

Häufige Fehler

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