01.03.2013 Aufrufe

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

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 />

Definition<br />

Beweis<br />

Eine endliche Kette von Umformungen, die mit Hilfe gültiger<br />

Schlussregeln durchgeführt werden <strong>und</strong> die von wahren bzw. als<br />

wahr angenommenen Aussagen (Prämissen) ausgehen <strong>und</strong> zu der<br />

Aussage A (Konklusion) führen, nennen wir Beweis der Aussage A.<br />

einige wichtige Beweisverfahren:<br />

direkter Beweis<br />

indirekter Beweis<br />

Beweis durch Kontraposition<br />

34 / 52

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!