Beweisverfahren

Auf dieser Seite sind die vier verschiedenen Beweisverfaheren aufgelistet. Jeder Beweis ist grundlegend in Vorraussetzung, Behauptung und Beweis gegliedert.

Direkter Beweis

• Vorraussetzung: Der Ausgangspunkt für den Beweis.
• Behauptung: Das, was zu beweisen ist.
• Beweis: Es wird direkt die Behauptung aus der Vorraussetzung geschlossen. (Wobei zu Vorraussetzungen auch schon bewiesene Sätze zählen).

Indirekter Beweis

• Vorraussetzung: Der Ausgangspunkt für den Beweis.
• Behauptung: Das, was zu beweisen ist.
• Beweis: Es wird eine Indirekte Annahme formuliert, und diese zu einem Widerspruch geführt.
  • Indirekte Annahme: Die Negation der Behauptung.

Beweis durch Widerspruch

Beweis per Widerspruch werden auch oft "indirekte Beweise" genannt. Wie geht man hier genau vor?

Zu beweisen ist eine Aussage A. .........

Ein Paradebeispiel für einen Beweis durch Widerspruch ist Euklid's Beweis über die Unendlichkeit der Primzahlen.

Beweis der Kontraposition

Beim Beweis durch Kontraposition möchte man eine Implikation $A\Rightarrow B$ beweisen. Anstatt direkt aus der Aussage A logische Schlüsse abzuleiten, die schließlich zur Aussage B führen beweist man die sogenannte Kontraposition $\neg B\Rightarrow \neg A$.

(Vollständige) Induktion

(Nur bei abzählbaren

• Vorraussetzung: Der Ausgangspunkt für den Beweis.
• Behauptung: Das, was zu beweisen ist.
• Beweis: Der Beweis erfolgt in zwei Teilen und über eine bestimmte Variable k
  • Induktionsanfang (IA): Die Behauptung wird für einenspeziellen Wert für k bewiesen.
  • Induktionsschritt (IS): Es wird die Korrektheit der Behauptung für k angenommen und dann daraus auf die Korrektheit der Behauptung für S(k) geschlossen. (Dabei beschreibt S() den direkten Nachfolger bzw. Vorgänger von k)