Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

Weitere Magazine

Empfehlungen

Info

Logik Rahmenplan Logische Grundlagen Äquivalenzumformungen Beweise Bedingungen Zum Anfang Quellen Indirekter Beweis Kalkül Die Annahme für den indirekten Beweis gewinnen wir durch die Negation der Behauptung. Mit gültigen Schlussregeln schließen wir solange weiter, bis ein Widerspruch zur Voraussetzung oder zur Annahme sichtlich wird. 37 / 52
Logik Rahmenplan Logische Grundlagen Äquivalenzumformungen Beweise Bedingungen Zum Anfang Quellen Indirekter Beweis Wahrheitstafel zur Verneinung der Implikation A B ¬A ¬B A ⇒ B ⇔ B ∨ ¬A ¬(A ⇒ B) ⇔ ¬B ∧ A w w f f w f w f f w f w f w w f w f f f w w w f Wir wissen, dass eine Aussage und ihre Negation nicht gleichzeitig wahr sein können. Daraus muss folgen, dass die Annahme falsch und die Negation der Annahme (Behauptung) wahr ist. 38 / 52
Seite 1 und 2: Logik Rahmenplan Logische Grundlage
Seite 51: Logik Rahmenplan Logische Grundlage

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?