Einführung in mathematische Beweise
Lerne die Grundlagen mathematischer Beweise und wie man logische Argumente konstruiert.
Definition
- Gegebene Information (Prämissen oder Hypothesen)
- Logische Schritte (jeder begründet durch eine Regel oder einen bereits bewiesenen Fakt)
- Schlussfolgerung (die zu beweisende Aussage)
Probier es gleich aus
Lösungsbeispiele
Beweise, dass die Summe zweier gerader Zahlen gerade ist.
Definiere, was gerade bedeutet
Eine Zahl ist gerade, wenn für eine ganze Zahl gilt → Definition festgelegt
Seien und zwei gerade Zahlen
Nach Definition: und , wobei ganze Zahlen sind → Ausdrücken mit Definition
Addiere die beiden Zahlen
→ Klammere 2 aus
Identifiziere die Form
ist , was die Definition von gerade ist → Entspricht der Definition
Formuliere die Schlussfolgerung
Daher ist gerade → QED
Antwort: Die Summe zweier gerader Zahlen ist immer gerade, weil , was 2 mal eine ganze Zahl ist.
Häufige Fehler
Spezifische Beispiele statt allgemeinem Beweis verwenden
Warum es falsch ist: Zu zeigen, dass gerade ist, beweist nur EINEN Fall, nicht ALLE Fälle.
Richtig: Verwende Variablen (), um BELIEBIGE zwei gerade Zahlen darzustellen.
Das annehmen, was man beweisen will
Warum es falsch ist: Du kannst die Schlussfolgerung nicht in deiner Argumentation verwenden - das ist ein Zirkelschluss.
Richtig: Beginne nur mit gegebenen Informationen und Definitionen, dann leite die Schlussfolgerung ab.
Fehlende Begründung für Schritte
Warum es falsch ist: Jeder Schritt muss durch eine Definition, ein Axiom oder einen bereits bewiesenen Satz begründet werden.
Richtig: Erkläre immer, WARUM jeder Schritt aus dem vorherigen folgt.
Implikationsrichtung verwechseln
Warum es falsch ist: Wenn , sagt uns das Wissen von NICHT, dass wahr ist.
Richtig: Sei vorsichtig: Umkehrung und Verneinung einer wahren Aussage können falsch sein.
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
16 AufgabenWas ist ein mathematischer Beweis?
Warum es wichtig ist
- Gewissheit: Anders als die Wissenschaft, die auf Evidenz basiert, bieten Beweise absolute Gewissheit
- Informatik: Programmverifikation und Algorithmus-Korrektheit basieren auf Beweisen
- Recht: Juristische Argumente folgen ähnlichen logischen Strukturen
- Philosophie: Logisches Denken ist essentiell für philosophische Argumente
- Problemlösung: Beweisen lernen entwickelt systematisches Denken
Anwendungen im echten Leben
Informatik: Algorithmus-Korrektheit
Softwareingenieure verwenden Beweise, um zu verifizieren, dass Programme für alle Eingaben korrekt funktionieren.
Beispiel:
Der Beweis, dass ein Sortieralgorithmus immer eine sortierte Liste erzeugt, erfordert mathematische Induktion.
Eine Schleife wiederholt sich mal. Jede Iteration verdoppelt einen Zähler, der bei 1 beginnt.
Beweise, dass der Endwert ist.
Schritt 1: Schreibe den mathematischen Ausdruck
Nach Iterationen ist der Wert:
Kryptographie: Sicherheitsbeweise
Moderne Verschlüsselung basiert auf mathematischen Beweisen, um Sicherheit zu garantieren.
Beispiel:
Die Sicherheit der RSA-Verschlüsselung basiert auf der bewiesenen Schwierigkeit, große Zahlen zu faktorisieren.
Wenn du das Produkt zweier Primzahlen faktorisieren kannst, kannst du den Code knacken.
Warum ist 15 leichter zu faktorisieren als 437?
Schritt 1: Schreibe den mathematischen Ausdruck
Vergleiche die Anzahl der zu prüfenden Faktoren:
Juristische Argumentation: Argumente aufbauen
Anwälte konstruieren logische Argumente ähnlich wie mathematische Beweise.
Beispiel:
Juristische Argumentation folgt dem Schema 'Wenn die Beweise X zeigen, und X Schuld impliziert, dann ist der Angeklagte schuldig.'
Regel: Alle Verträge erfordern eine Gegenleistung (Austausch von Werten). Person A hat ein Dokument unterschrieben, aber nichts erhalten.
Ist dies ein gültiger Vertrag?
Schritt 1: Schreibe den mathematischen Ausdruck
Wende die logische Regel an:
Wichtige Erkenntnisse
- 1Ein mathematischer Beweis ist ein logisches Argument, das zeigt, warum eine Aussage wahr sein muss
- 2Direkter Beweis: nimm die Hypothese an, leite die Schlussfolgerung Schritt für Schritt ab
- 3Widerspruchsbeweis: nimm das Gegenteil an, erreiche einen Widerspruch
- 4Jeder Schritt muss durch eine Definition, ein Axiom oder einen bewiesenen Satz begründet werden
- 5Beweise müssen für ALLE Fälle funktionieren, nicht nur für spezifische Beispiele
Häufig gestellte Fragen
Glossar
- Beweis
- Ein logisches Argument, das zeigt, dass eine mathematische Aussage wahr ist
- Theorem
- Eine mathematische Aussage, die als wahr bewiesen wurde
- Axiom
- Eine Aussage, die ohne Beweis als wahr akzeptiert wird; ein Ausgangspunkt für Schlussfolgerungen
- Hypothese
- Die Ausgangsannahme in einer bedingten Aussage (der 'wenn'-Teil)
- Schlussfolgerung
- Das Ergebnis, das aus der Hypothese folgt (der 'dann'-Teil)
- Widerspruch
- Eine logische Unmöglichkeit; zwei Aussagen, die nicht beide wahr sein können
- QED
- Abkürzung, die das Ende eines Beweises markiert (quod erat demonstrandum)