Beweisen WS 12 13 S: Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) (→Umkehrungen) |
*m.g.* (Diskussion | Beiträge) (→Kontrapositionen) |
||
(3 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt) | |||
Zeile 27: | Zeile 27: | ||
... | ... | ||
===Kontrapositionen=== | ===Kontrapositionen=== | ||
− | Gegeben sei die Implikation <math>\ A \Rightarrow B</math><br /><br /> | + | Gegeben sei die Implikation <math>\ A \Rightarrow B</math><br />.<br /> |
+ | Unter der Kontraposition von <math>\ A \Rightarrow B</math> versteht man die Implikation <math>\ \neg A \Rightarrow \neg B</math><br /> | ||
+ | ====Aufgabe==== | ||
+ | Formulieren Sie die Kontraposition des Wechselwinkelsatzes.<br /> | ||
+ | ... | ||
==Äquivalenzen== | ==Äquivalenzen== | ||
Ist ein Satz und seine Umkehrung wahr, dann sind Voraussetzung und Behauptung äquivalent, formal kann man dann schreiben: <math>\ A \Leftrightarrow B</math><br /><br /> | Ist ein Satz und seine Umkehrung wahr, dann sind Voraussetzung und Behauptung äquivalent, formal kann man dann schreiben: <math>\ A \Leftrightarrow B</math><br /><br /> | ||
− | gesprochen: <math>A</math> genau dann, wenn <math>B</math> oder <math>B</math> gilt dann und nur dann, wenn <math>A</math> gilt. | + | gesprochen: <math>A</math> genau dann, wenn <math>B</math> <br />oder<br /> <math>B</math> gilt dann und nur dann, wenn <math>A</math> gilt. |
====Aufgabe:==== | ====Aufgabe:==== | ||
Bekannterweise gelten in der Euklidischen Geometrie sowohl der Wechselwinkelsatz als auch seine Umkehrung.<br /> | Bekannterweise gelten in der Euklidischen Geometrie sowohl der Wechselwinkelsatz als auch seine Umkehrung.<br /> |
Aktuelle Version vom 1. November 2012, 18:11 Uhr
ImplikationenBeispiel WechselwinkelsatzAus der Schule kennen Sie bereits den so genannten Wechselwinkelsatz. AufgabeFormulieren Sie den Wechselwinkelsatz in der Wenn-Dann-Form: UmkehrungenWir können aus jedem Satz auch eine Umkehrung bilden (die nicht unbedingt wahr sein muss), d. h. wir formulieren die Behauptung als Voraussetzung und die Vorausetzung als Behauptung: Aufgabe:Formulieren Sie hier die Umkehrung des Wechselwinkelsatzes: KontrapositionenGegeben sei die Implikation AufgabeFormulieren Sie die Kontraposition des Wechselwinkelsatzes. ÄquivalenzenIst ein Satz und seine Umkehrung wahr, dann sind Voraussetzung und Behauptung äquivalent, formal kann man dann schreiben: gesprochen: Aufgabe:Bekannterweise gelten in der Euklidischen Geometrie sowohl der Wechselwinkelsatz als auch seine Umkehrung. Notwenig, hinreichend, notwendig und hinreichendAufgaben zum EinstiegZwei Paare paralleler Seiten sind notwendig, hinreichend, notwendig und hinreichend für .. ?
Das Ganze noch mal in Wenn ... Dann ...
Erkennen Sie den Zusammenhang?Erklärung der BegriffeAn dieser Stelle ist es sinnvoll, zwei wichtige Begriffe der mathematischen Logik einzuführen: hinreichende und notwendige Bedingung BeweiseBeispiel: Wir beweisen den BasiswinkelsatzDer SatzSatz: (Basiswinkelsatz)
Direkter BeweisVoraussetzung: q.e.d. Indirekter BeweisWir schicken zunächst den folgenden bekannten Satz voraus:
Satz (*): In jedem Dreieck liegt dem größeren Winkel auch die größere Seite gegenüber.
Voraussetzung: Ein wenig Theorie zum BeweisenMathematische Sätze lassen sich im Unterschied zu Definitionen beweisen. Um einen Satz zu beweisen können verschiedene Beweistechniken angewendet werden.
Aufgabe:
Formulieren Sie die Kontraposition des Wechselwinkelsatzes. |