Advertisement

Komplexe Beweismuster

Chapter
  • 1.9k Downloads

Zusammenfassung

Eine einzelne Argumentkette wie in Kapitel 4 reicht für einen Beweis nicht immer aus. Komplexere Beweismuster kombinieren deshalb mehrere solcher Argumentketten, manchmal in Form von getrennten Teilbeweisen, um einen Beweis zu ergeben. Bei einigen dieser Muster wird nicht die gegebene, sondern eine alternative Behauptung bewiesen, so dass aus deren Beweis folgt, dass auch die ursprüngliche Behauptung gilt.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Deutschland  2017

Authors and Affiliations

  1. 1.Institut für InformatikLudwig-Maximilians-Universität MünchenMünchenDeutschland

Personalised recommendations