Advertisement

Einfache Beweismuster

Chapter
  • 1.9k Downloads

Zusammenfassung

Ein Beweis ist ein Nachweis, dass zwischen Voraussetzungen und Behauptung die logische Folgerungsbeziehung besteht (siehe Abschnitt 2.5 und 2.1). Die einfachen Muster für einen solchen Nachweis haben in der Regel die Gestalt einer Argumentkette, die mit Voraussetzungen beginnt und mit der Behauptung endet. Einige dieser Muster zerlegen vorher die Behauptung in einfachere Bestandteile.

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