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