Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis sowie komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung und die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten auf Fragen wie: Was genau ist eigentlich ein Widerspruchsbeweis? Oder eine Widerlegung? Und wie hängen sie miteinander zusammen? Die Autoren versuchen, derartige Fragen zu erörtern, indem sie verbreitete Beweismuster anhand von allgemein verständlichen Beispielen aus dem Alltag, der Mathematik und der Informatik verdeutlichen.