Logische Grundlagen des Mathematikunterrichts

Transkript

1 Logische Grundlagen des Mathematikunterrichts Referat zum Hauptseminar Mathematik und Unterricht Robert Blenk Holger Götzky

2 Einleitende Fragen Was muss man beweisen? Woraus besteht ein Beweis? Was braucht man fürs Beweisen?

3 Was muss man beweisen? Was nicht? nicht bewiesen werden müssen: Axiome Definitionen Annahmen bewiesen werden müssen: Sätze Behauptungen

4 Woraus besteht ein Beweis? Wie geht man beim Beweisen vor? Beim Beweisen schlussfolgert man aus einer wahren Aussage in endlich vielen Schritten eine wiederum wahre Aussage.

5 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? Prämissen Junktoren Konklusion Aussagenlogik Prädikatenlogik

6 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? Prämissen: die Gesamtheit aller Regeln und Aussagen, welche für den Beweis als wahr angenommen werden

7 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? Junktoren: ~ - Negation - log. und (Konjunktion) - log. oder (Disjunktion) - Implikation - Äquivalenz

8 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? Konklusion: letzte Schlussfolgerung in einem Beweis, welche die Gültigkeit der vorweg getroffenen Aussage bestätigt

9 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? Aussagenlogik: bezeichnet die Schlussfolgerung einer Aussage B aus einer Aussage A, ohne Variablen zu nutzen

10 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? aussagenlogische Identitäten (Beispiele): A ~A (Satz vom ausgeschlossenen Dritten) (A (Satz der Kontraposition)

11 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? Prädikatenlogik: bezeichnet die Logik der Aussagen, welche sich auf alle möglichen Einsetzungen für eine Variable bezieht, und dafür Quantoren verwendet

12 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? Quantoren: - für alle - es existiert! - es existiert genau ein

13 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? Der gegenwärtige König von Frankreich ist kahlköpfig. Ist diese Aussage wahr oder falsch?

14 Der gegenwärtige König von Frankreich ist kahlköpfig. Formalisierung (nach Russell): x: (x ist kahlköpfig) (x ist gegenwärtig König von Frankreich) also: Die Aussage ist falsch.

15 Der gegenwärtige König von Frankreich ist kahlköpfig. Negation: x: (x ist kahlköpfig) (x ist gegenwärtig König von Frankreich) oder: x: ~(x ist kahlköpfig) (x ist gegenwärtig König von Frankreich)

16 Was braucht man fürs Beweisen? Welche (logischen) Grundlagen benötigt man? weitere Beispiele für Formalisierung: Der Hund ist weiß. x: (x ist ein Hund) (x ist weiß) Alle Griechen sind Menschen. g (Grieche): (g ist ein Mensch)

17 Beispiel Allaussage Volk und Wissen, Klasse 6, S. 10

18 Beispiel Allaussage Alle natürlichen Zahlen, deren Quersumme durch 3 teilbar ist, sind selbst durch drei teilbar. Ein Schüler untersucht die Zahl und stellt fest, dass ihre Quersumme 24 ist. Da diese durch 3 teilbar ist, schließt er: ist eine durch 3 teilbare Zahl.

19 Alle natürlichen Zahlen, deren Quersumme durch 3 teilbar ist, sind selbst durch drei teilbar. erster Schluss: Was für alle natürlichen Zahlen gilt, gilt auch für eine beliebige natürliche Zahl. (Schluss aus einer Allaussage) also: Wenn die Quersumme von x durch 3 teilbar ist, dann ist auch x selbst durch 3 teilbar.

20 Alle natürlichen Zahlen, deren Quersumme durch 3 teilbar ist, sind selbst durch drei teilbar. zweiter Schluss: Da x eine beliebige natürliche Zahl ist, kann für x auch eingesetzt werden. (Regel für die Termeinsetzung) also: Wenn die Quersumme von durch 3 teilbar ist, dann ist auch selbst durch 3 teilbar.

21 Alle natürlichen Zahlen, deren Quersumme durch 3 teilbar ist, sind selbst durch drei teilbar. dritter Schluss: Da die Quersumme von durch 3 teilbar ist, ist auch selbst durch 3 teilbar. (Schluss aus einer Implikation)

22 Schlussregeln Welche weiteren Schlussregeln werden im Schulunterricht noch genutzt? Diskussionsfrage: Wie sollte man auf die Schlussregeln im Unterricht eingehen?

23 weitere Grundlagen Implikationen und Äquivalenzen Äquivalenzumformungen notwendige und hinreichende Bedingungen

24 Implikationen Eine Implikation ausgehend von einer falschen Aussage ist immer wahr. aber: Eine Implikation ausgehend von einer wahren Aussage ist nur dann wahr, wenn auch die gefolgerte Aussage wahr ist.

25 Äquivalenzen Eine Äquivalenz von zwei Aussagen ist genau dann wahr, wenn entweder beide Aussagen wahr oder beide Aussagen falsch sind. Was zeichnet Äquivalenzumformungen aus?

26 Äquivalenzumformungen Lösungsmenge der (Un-)Gleichungen bleibt erhalten (der Wahrheitswert bleibt unverändert) durch inverse Operationen erhält man wieder die Ursprungsgleichung Beispiel: Lösung eines (3,3)-LGS

27 Notwendige und hinreichende Bedingungen Was ist eine notwendige und was ist eine hinreichende Bedingung? B ist notwendig für A genau dann, wenn A gilt. also: Wenn B nicht gilt, kann auch A nicht gelten.

28 Notwendige und hinreichende Bedingungen C ist hinreichend für D genau dann, wenn C D gilt. also: Wenn C gilt, muss auch D gelten. beachte: Eine hinreichende Bedingung kann u. U. auch eine notwendige Bedingung enthalten.

29 Beispiel: Raute notwendige Bedingung: Das Viereck hat vier gleich lange Seiten. hinreichende Bedingung: Das Viereck ist ein Quadrat.

30 Beispiel: Extrempunkt bei (x,f(x)) notwendige Bedingung: f (x)=0 hinreichende Bedingung: f (x)=0 f (x) 0

31 Beispiel: Extrempunkt bei (x,f(x)) Cornelsen, Klasse 11, S. 223 f.

32 Beispiel: Extrempunkt bei (x,f(x)) Cornelsen, Klasse 11, S. 224

33 Beweisarten Welche Beweisarten kennt ihr? Wie geht man bei diesen Beweisen vor?

34 Beweisarten direkter Beweis: Aus den Voraussetzungen wird (über diverse Zwischenschritte) direkt auf die Behauptung geschlossen. Beispiel: Das Quadrat ungerader natürlicher Zahlen ist ungerade.

35 direkter Beweis - Beispiele Volk und Wissen, Klasse 8, S. 11

36 direkter Beweis - Beispiele Volk und Wissen, Klasse 6, S. 14

37 Beweisarten indirekter Beweis: Volk und Wissen, Klasse 8, S. 85 Beispiel: Beweis des Irrationalität von 2

38 indirekter Beweis - Beispiele Paetec Realschule/Gesamtschule, Klasse 9, S. 46

39 indirekter Beweis - Beispiele Oldenburg, Klasse 10, S. 62

40 indirekter Beweis - Beispiele Volk und Wissen, Klasse 8, S. 84

41 Beweisarten Kontraposition: Aus der Annahme, dass die Behauptung nicht gilt, wird darauf geschlossen, dass die Voraussetzung nicht gilt. Beispiel: Injektivitätsbeweise

42 Beweisverfahren im RLP RLP Sekundarstufe II, S. VII

43 Beweisverfahren im RLP RLP Sekundarstufe II, S. VIII

44 Beweisverfahren im RLP Ist eine Einbindung der verschiedenen Beweisverfahren in den Unterricht (z. B. zur Stärkung des Allgemeinwissens) sinnvoll?

45 Zusatz