Buchner: Die Seite wurde neu angelegt: „== Wiederholung und Rückblick == Wie gehen von der folgenden Implikation aus:
'''Wenn ein Viereck ein Quadrat ist, dann halbieren sich seine Diagonalen.'''…“

2012-05-02T15:33:12Z

Die Seite wurde neu angelegt: „== Wiederholung und Rückblick == Wie gehen von der folgenden Implikation aus: '''Wenn ein Viereck ein Quadrat ist, dann halbieren sich seine Diagonalen.'''…“

Neue Seite

== Wiederholung und Rückblick ==
Wie gehen von der folgenden Implikation aus: 
'''Wenn ein Viereck ein Quadrat ist, dann halbieren sich seine Diagonalen.''' 

Allgemein lässt sich eine Aussage "Wenn A dann B" schreiben als <math> A \Rightarrow B </math>. 
<math> A </math> ist dann Voraussetzung: Das betrachtete Viereck ist ein Quadrat. <math> B </math> ist Behauptung: Die Diagonalen des betrachteten Vierecks halbieren einander. 

Die Umkehrung zu einer Aussage vertauscht Voraussetzung und Behauptung. 
Die Umkehrung zu <math> A \Rightarrow B </math> ist also <math> B \Rightarrow A </math>.

Die Umkehrung zum Beispiel lautet: 
'''Wenn sich die Diagonalen eines Vierecks halbieren, dann ist das Viereck ein Quadrat.''' 

Aussagen können wahr oder falsch sein. 
Diese Umkehrung ist falsch, was sich leicht an einem Gegenbeispiel zeigen lässt:
[[Bild:Raute2.gif|links]]
 
Nur wenn sowohl die Implikation als auch die dazugehörige Umkehrung wahr sind, lässt sich die Aussage als Äquivalenz <math>A \Leftrightarrow B</math> schreiben. 
Sprechweise: "<math>A</math> genau dann wenn <math>B</math>" 
Im obigen Beispiel geht das NICHT! 

Ist die folgende Aussage wahr? 
'''Wenn sich die Diagonalen eines Vierecks nicht halbieren, dann ist das Viereck kein Quadrat.''' 
Diese Aussage ist die Kontraposition zur ursprünglichen Implikation. 

Allgemein: Zur Implikation <math> A \Rightarrow B </math> lautet die Kontraposition <math>\neg B\Rightarrow \neg A </math>. 
Die Kontraposition ist gleichwertig zur ursprünglichen Implikation: 
<math> (A \Rightarrow B) \Leftrightarrow (\neg B\Rightarrow \neg A) </math>. 

== Grundlagen des Beweisens ==
Wie kann eine Implikation <math> A \Rightarrow B </math> bewiesen werden? 

# direkt
# indirekt

Wiederholung und Ergänzung Implikationen - Versionsgeschichte

Buchner: Die Seite wurde neu angelegt: „== Wiederholung und Rückblick == Wie gehen von der folgenden Implikation aus: '''Wenn ein Viereck ein Quadrat ist, dann halbieren sich seine Diagonalen.'''…“

Buchner: Die Seite wurde neu angelegt: „== Wiederholung und Rückblick == Wie gehen von der folgenden Implikation aus:
'''Wenn ein Viereck ein Quadrat ist, dann halbieren sich seine Diagonalen.'''…“