Direkter Beweis
Lerne direkte Beweise zu konstruieren, indem du Schlussfolgerungen logisch aus gegebenen Hypothesen mithilfe von Definitionen, Axiomen und bereits bewiesenen Sätzen ableitest.
Definition
- Beginne damit, anzunehmen, dass wahr ist
- Verwende logische Schlussfolgerungen, um zu zeigen, dass auch wahr sein muss
Probier es gleich aus
Lösungsbeispiele
Beweise: Wenn und gerade ganze Zahlen sind, dann ist gerade.
Formuliere die Hypothese
Angenommen, und sind gerade ganze Zahlen → Gegeben: und sind gerade
Wende die Definition von gerade an
Eine gerade ganze Zahl kann als für eine ganze Zahl geschrieben werden → und für ganze Zahlen
Addiere die beiden Zahlen
→
Klammere den gemeinsamen Faktor aus
→
Wende die Definition von gerade erneut an
Da eine ganze Zahl ist, ist per Definition gerade → ist gerade
Antwort: Daher ist die Summe zweier gerader ganzer Zahlen immer gerade. QED
Häufige Fehler
Verwendung spezifischer Beispiele statt eines allgemeinen Beweises
Warum es falsch ist: Zu zeigen, dass (gerade) ist, beweist nichts über ALLE geraden Zahlen. Ein Beweis muss für jeden möglichen Fall funktionieren.
Richtig: Verwende Variablen und Definitionen. Schreibe 'Sei für eine ganze Zahl ', um JEDE gerade Zahl darzustellen.
Annehmen, was man beweisen möchte
Warum es falsch ist: Du kannst die Schlussfolgerung nicht in deiner Argumentation verwenden. Das ist Zirkellogik.
Richtig: Beginne nur mit der Hypothese und arbeite vorwärts. Schreibe niemals 'Da gerade ist...', bis du es bewiesen hast.
Überspringen logischer Schritte
Warum es falsch ist: Jeder Schritt muss logisch aus vorherigen Schritten folgen. Lücken im Denken können Fehler verbergen.
Richtig: Begründe jeden Schritt mit einer Definition, einem Axiom oder einem bereits bewiesenen Satz.
Interaktive Visualisierung
Wahrheitstabelle
| P | Q | P ∧ Q |
|---|---|---|
| F | F | F |
| F | T | F |
| T | F | F |
| T | T | T |
T= WahrF= Falsch
Interaktiver Sandkasten
Ausdrucksrechner
Probiere diese:
Verlauf
Noch keine Berechnungen
Übungsaufgaben
17 AufgabenWas ist der erste Schritt in einem direkten Beweis?
Warum es wichtig ist
- Grundlage der Mathematik: Jeder Satz, den du verwendest, wurde mit direktem Beweis oder verwandten Methoden bewiesen
- Informatik: Korrektheitsbeweise für Algorithmen verwenden oft direktes Schlussfolgern
- Juristische Argumentation: Anwälte konstruieren Argumente von Beweisen zur Schlussfolgerung
- Wissenschaftliche Methode: Das Ableiten von Vorhersagen aus Hypothesen nutzt dieselbe logische Struktur
- Problemlösung: Das Aufteilen komplexer Probleme in logische Schritte
Anwendungen im echten Leben
Softwareverifikation
Programmierer verwenden die Logik des direkten Beweises, um zu verifizieren, dass ihr Code für alle Eingaben korrekt funktioniert.
Beispiel:
Um zu beweisen, dass ein Sortieralgorithmus immer eine sortierte Ausgabe produziert, zeigen wir: Wenn die Eingabe eine Liste ist, hat die Ausgabe dieselben Elemente in nicht-absteigender Reihenfolge.
Ein Programm verdoppelt jede Zahl in einer Liste. Wir müssen beweisen: Wenn alle Eingabezahlen positiv sind, sind alle Ausgabezahlen positiv.
Vervollständige diesen direkten Beweis.
Schritt 1: Schreibe den mathematischen Ausdruck
Wenn , dann
Juristische Argumentation
Anwälte konstruieren Argumente, die logisch von Beweisen zu Schlussfolgerungen führen.
Beispiel:
Wenn der Vertrag besagt, dass die Zahlung bei Lieferung fällig ist, und die Lieferung am 1. März erfolgte, dann war die Zahlung am 1. März fällig.
Gesetz: Alle Bürger über 18 dürfen wählen. Fakt: Alex ist ein Bürger. Fakt: Alex ist 21 Jahre alt.
Beweise, dass Alex wählen darf.
Schritt 1: Schreibe den mathematischen Ausdruck
Strukturiere das logische Argument
Wichtige Erkenntnisse
- 1Ein direkter Beweis nimmt an, dass die Hypothese wahr ist, und leitet die Schlussfolgerung durch logische Schritte ab
- 2Verwende Definitionen, um Wörter in mathematische Ausdrücke zu übersetzen (z.B. gerade = )
- 3Jeder Schritt muss logisch aus vorherigen Schritten folgen, unter Verwendung von Algebra, Definitionen oder Sätzen
- 4Der Beweis endet, wenn du die exakte Form der Schlussfolgerung erreicht hast
- 5QED (quod erat demonstrandum) markiert das Ende eines Beweises
Häufig gestellte Fragen
Glossar
- Direkter Beweis
- Eine Beweismethode, die die Hypothese annimmt und logische Deduktion verwendet, um die Schlussfolgerung abzuleiten
- Hypothese
- Der 'wenn'-Teil einer konditionalen Aussage; was wir als wahr annehmen
- Schlussfolgerung
- Der 'dann'-Teil einer konditionalen Aussage; was wir beweisen wollen
- QED
- Abkürzung für 'quod erat demonstrandum', markiert das Ende eines Beweises
- Satz
- Eine mathematische Aussage, die als wahr bewiesen wurde
- Axiom
- Eine Aussage, die ohne Beweis als wahr akzeptiert wird; ein Ausgangspunkt für Argumentation