Skip to main content

Aussagenlogik und Widerspruchsbeweise

  • 4267 Accesses

Zusammenfassung

Beweise sind in der Schule allgemein unbeliebt. Meist werden sie entweder gar nicht behandelt oder „überlesen“. Mit dem Beginn des Mathematikstudiums tauchen sie dann häufiger auf, und es ist sehr ratsam, Beweise nicht mehr zu ignorieren, denn ihr Wert ist nicht zu unterschätzen. Beweise sichern die Gültigkeit mathematischer Aussagen, sodass wir diese Aussagen in weiteren Argumenten benutzen dürfen. Darüber hinaus offenbaren sie uns, warum eine Aussage gilt, und liefern damit viele Informationen, die hilfreich für unser mathematisches Verständnis sind. Des Weiteren stecken in ihnen viele mathematische Techniken und in der Regel die Rechentricks, die für das Lösen der Übungsaufgaben sehr hilfreich sind. Doch was erwartet Sie nun in diesem Kapitel? Natürlich: Es geht um Beweise. Erinnern wir uns an Kapitel 4. Dort wurden am Beispiel des größten gemeinsamen Teilers bereits zwei Beweistechniken vorgestellt: einen Existenzbeweis, der darauf beruht, dass in Mengen von natürlichen Zahlen immer ein kleinstes Element existiert, und einen algorithmischen Beweis, der das gesuchte Element direkt berechnet. In diesem Kapitel soll eine weitere Technik, der Beweis durch Widerspruch, besprochen werden. Um das zu realisieren, müssen einige Grundbegriffe der Aussagenlogik eingeführt werden. Als Anwendung der Beweistechnik präsentieren wir den vielleicht berühmtesten Widerspruchsbeweis der Mathematikgeschichte: Euklids Beweis dafür, dass die Menge der Primzahlen nicht endlich sein kann.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-662-45512-8_5
  • Chapter length: 18 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   29.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-45512-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   37.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Joachim Hilgert .

Rights and permissions

Reprints and Permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hilgert, J., Hoffmann, M., Panse, A. (2015). Aussagenlogik und Widerspruchsbeweise. In: Einführung in mathematisches Denken und Arbeiten. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45512-8_5

Download citation