Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Logik Rahmenplan <strong>Logische</strong> <strong>Gr<strong>und</strong>lagen</strong> Äquivalenzumformungen Beweise Bedingungen Zum Anfang Quellen<br />
Indirekter Beweis<br />
Wahrheitstafel zur Verneinung der Implikation<br />
A B ¬A ¬B A ⇒ B ⇔ B ∨ ¬A ¬(A ⇒ B) ⇔ ¬B ∧ A<br />
w w f f w f<br />
w f f w f w<br />
f w w f w f<br />
f f w w w f<br />
Wir wissen, dass eine Aussage <strong>und</strong> ihre Negation nicht gleichzeitig<br />
wahr sein können. Daraus muss folgen, dass die Annahme falsch<br />
<strong>und</strong> die Negation der Annahme (Behauptung) wahr ist.<br />
38 / 52