Deckblatt

Diese Facharbeit behandelt das Kapitel "Logik und Beweise" aus Daniel Griesers Werk über mathematisches Problemlösen. Das Buch richtet sich eigentlich an Uni-Studenten, aber die Grundlagen kannst du schon jetzt verstehen - du brauchst nur Mittelstufenwissen!

Die Arbeit wurde am 22. März 2021 eingereicht und zeigt dir, wie mathematische Beweise funktionieren. Grieser möchte die Kreativität seiner Leser fördern und ihre "Werkzeugkiste" für das Lösen mathematischer Probleme erweitern.

Gut zu wissen: Mathematik ist die einzige Wissenschaft, in der einmal bewiesene Erkenntnisse für immer gelten - anders als in anderen Fächern müssen Theorien nie wieder verworfen werden!

Inhaltsverzeichnis

Die Arbeit gliedert sich in vier Hauptteile, die dir eine systematische Einführung geben. Zunächst wird das Kapitel "Logik und Beweise" erschlossen, dann folgen praktische Aufgaben.

Der Logik-Teil umfasst Aussagen und ihre Verknüpfungen, Quantoren ("für alle", "es gibt") und Implikationen ("wenn...dann"). Bei den Beweisen lernst du fünf verschiedene Methoden kennen: direkter Beweis, indirekter Beweis, Widerspruchsbeweis, Gegenbeweis und vollständige Fallunterscheidung.

Die praktische Bearbeitung von vier Aufgaben zeigt dir, wie du das Gelernte anwendest. So wird das theoretische Wissen direkt umsetzbar und verständlicher.

Tipp: Das Inhaltsverzeichnis zeigt dir die logische Struktur - erst die Theorie, dann die Praxis!

Einleitung

Mathematik hat eine einzigartige Ästhetik - ihre Erkenntnisse behalten für immer ihre Gültigkeit! Während andere Wissenschaften ständig Theorien verwerfen müssen, gilt in der Mathematik: "was einmal bewiesen ist, gilt für immer".

Daniel Grieser möchte mit seinem Buch deine Kreativität fördern und deine methodische "Werkzeugkiste" erweitern. Obwohl das Buch primär für Bachelor-Studenten gedacht ist, beschränkt er die Vorkenntnisse bewusst auf Mittelstufenstoff.

Das Ziel dieser Arbeit ist es, neue mathematische Erkenntnisse zu gewinnen, indem die vorgestellten Methoden aus Kapitel 7 angewendet werden.

Motivation: Du bist schon jetzt in der Lage, universitäre Mathematik zu verstehen - du hast bereits alle nötigen Grundlagen!

Zweck und Grundlagen der Logik

Warum brauchen wir überhaupt Logik? Weil wir mathematische Argumente in unserer Alltagssprache (Deutsch) ausdrücken, die nicht immer eindeutig ist. Die Logik verwendet stattdessen formale Sprachen, die präzise und unmissverständlich sind.

Beweise dienen dazu, Unsicherheiten aus dem Weg zu räumen. Sie stellen eindeutig und unanzweifelbar die Richtigkeit eines Ergebnisses dar. Dazu nutzt man die Logik, um Argumente "schlüssig" - also richtig und vollständig - vorzubringen.

Aussagen sind der Grundbaustein der Logik. Eine Aussage kann entweder wahr oder falsch sein - das nennt man ihren Wahrheitswert. Beispiele: "1 + 1 = 2" (wahr) oder "1 = 2" (falsch). Sogar die berühmte Goldbach'sche Vermutung ist eine Aussage, obwohl niemand weiß, ob sie wahr oder falsch ist.

Die Negation einer Aussage A (geschrieben als "¬A") ist genau dann wahr, wenn A falsch ist.

Merke dir: Jede mathematische Aussage ist entweder wahr oder falsch - ein Drittes gibt es nicht!

Logische Verknüpfungen und Quantoren

"Und" und "oder" funktionieren in der Mathematik sehr präzise: "A und B" ist nur wahr, wenn beide Aussagen wahr sind. "A oder B" ist wahr, wenn mindestens eine der beiden Aussagen wahr ist. Für das ausschließende "oder" sagst du "entweder A oder B".

Quantoren sind mächtige Werkzeuge: Der Allquantor ∀ bedeutet "für alle" und der Existenzquantor ∃ bedeutet "es gibt (mindestens ein)". Die Goldbach'sche Vermutung lässt sich damit präzise formulieren: ∀k ∈ ℕ{0;1} ∃p₁,p₂ ∈ ℙ: 2k = p₁ + p₂.

Implikationen ("wenn...dann") sind fundamental für Beweise. "A → B" ist nur dann falsch, wenn A wahr und B falsch ist. Wichtig: A ist hinreichend für B, und B ist notwendig für A.

Die Kontraposition "¬B → ¬A" ist logisch äquivalent zu "A → B" - das ist ein mächtiges Beweisprinzip!

Praxistipp: Implikationen sind der Schlüssel zu den meisten mathematischen Beweisen - verstehst du sie, verstehst du Beweise!

Äquivalenz und Negation

Äquivalenz ("genau dann, wenn") liegt vor, wenn sowohl "A → B" als auch "B → A" gelten. Man schreibt "A ↔ B" und die Aussagen sind füreinander sowohl notwendig als auch hinreichend. Beispiel: "n ist gerade" ↔ "n ist durch 2 teilbar".

Die Negation zusammengesetzter Aussagen folgt der Umkehrregel: Negation vertauscht "und" mit "oder" und ∀ mit ∃. Zusätzlich wird jedes Element einzeln negiert.

Beispiel für die Umkehrregel: Die Negation der Goldbach'schen Vermutung ¬$∀k ∈ ℕ{0;1} ∃p₁,p₂ ∈ ℙ: 2k = p₁ + p₂$ wird zu $∃k ∈ ℕ{0;1} ∀p₁,p₂ ∈ ℙ: 2k ≠ p₁ + p₂$.

Diese Regeln sind nicht nur theoretisch wichtig, sondern helfen dir konkret beim Formulieren von Gegenbeweisen und beim Verstehen komplexer mathematischer Aussagen.

Aha-Moment: Die Umkehrregel zeigt dir automatisch, wie du eine Aussage widerlegen kannst!

Beweismethoden Teil 1

Ein Beweis ist eine logisch vollständige Begründung einer Aussage. Das Ende markierst du mit dem "Grabstein" ■. Hier lernst du die wichtigsten Methoden für Beweise der Form "A → B".

Direkter Beweis: Du startest mit der Prämisse A und führst Schritt für Schritt zur Konklusion B. Beispiel: "n ist durch 6 teilbar" ⇒ "n ist durch 2 teilbar" ⇒ "n ist gerade". Die Gültigkeit beruht auf dem Kettenschluss.

Indirekter Beweis: Du negierst die Konklusion (¬B) und folgerst daraus die Negation der Prämisse (¬A). Das funktioniert wegen der Kontraposition. Beispiel: "n ist ungerade" ⇒ "n ist nicht durch 2 teilbar" ⇒ "n ist nicht durch 6 teilbar".

Beide Methoden sind logisch äquivalent - du kannst dir aussuchen, welche dir in der jeweiligen Situation leichter fällt!

Strategietipp: Probiere erst den direkten Beweis - wenn der schwierig wird, versuche den indirekten Ansatz!

Beweismethoden Teil 2

Widerspruchsbeweis: Du nimmst an, dass A wahr und B falsch ist ("A und ¬B"), und folgerst daraus eine offensichtlich falsche Aussage. Da diese Annahme zu einem Widerspruch führt, muss "A → B" wahr sein.

Beispiel: Angenommen, n ist durch 6 teilbar und ungerade. Dann ist n = 6a = 2b + 1, also 3a = b + ½. Das ist unmöglich, da 3a natürlich, b + ½ aber nie natürlich ist! ■

Gegenbeweis durch Gegenbeispiel: Um eine Aussage "∀n ∈ G: A(n)" zu widerlegen, reicht ein einziges Gegenbeispiel. "Alle natürlichen Zahlen sind gerade" wird durch n = 3 widerlegt.

Vollständige Fallunterscheidung: Du betrachtest alle möglichen Fälle einzeln (die Anzahl muss endlich sein). In jedem Fall musst du die Konklusion beweisen - meist mit anderen Beweismethoden kombiniert.

Wichtig: Der Widerspruchsbeweis ist besonders mächtig bei Existenzaussagen und Eindeutigkeitsbeweisen!

Anwendung der Fallunterscheidung

Bei der vollständigen Fallunterscheidung musst du sicherstellen, dass du wirklich alle möglichen Fälle erfasst. Die Fallunterscheidung ist nur dann vollständig, wenn jedes Element des Grundbereichs in genau einen Fall fällt.

Beispiel für unser Teilbarkeitsproblem: Fall 1 (n ist gerade) - die Konklusion folgt offensichtlich. Fall 2 (n ist ungerade) - die Konklusion folgt nach dem Beweis aus dem Widerspruchsbeweis. Da jede natürliche Zahl entweder gerade oder ungerade ist, ist die Fallunterscheidung vollständig. ■

Wann ist Fallunterscheidung sinnvoll? Wenn in verschiedenen Fällen unterschiedliche Besonderheiten auftreten, die den Beweis vereinfachen. In unserem Beispiel war sie eigentlich unnötig, da der Widerspruchsbeweis bereits vollständig war.

Diese Methode wird besonders wertvoll bei komplexeren Problemen, wo verschiedene Fälle tatsächlich unterschiedliche Beweisstrategien erfordern.

Praxistipp: Fallunterscheidung ist dann sinnvoll, wenn die verschiedenen Fälle wirklich unterschiedliche Beweisansätze ermöglichen!

Praktische Aufgabenbearbeitung

Jetzt geht es an die praktische Anwendung des Gelernten! Die Aufgabe A 7.10 aus dem Buch fordert dich auf, bei verschiedenen Aussagenpaaren zu beurteilen, ob sie notwendig und/oder hinreichend füreinander sind.

Was bedeutet das konkret? Du musst prüfen, ob "A → B" gilt (A ist hinreichend für B), ob "B → A" gilt (A ist notwendig für B), oder ob beide Richtungen gelten (Äquivalenz). Dabei arbeitet die Aufgabe mit reellen Zahlen a, b ∈ ℝ.

Diese Art von Aufgabe trainiert dein logisches Denken und dein Verständnis für Implikationen und Äquivalenzen. Du wendest alle gelernten Konzepte praktisch an und entwickelst ein Gefühl dafür, wann welche Beweismethode am besten geeignet ist.

Erfolgsstrategie: Arbeite systematisch - prüfe erst "A → B", dann "B → A", und vergiss nicht, auch nach Gegenbeispielen zu suchen!