Beweise
Beim Widerspruchsbeweis zeigt man eine Aussage, indem man ihr Gegenteil widerlegt.
Beim indirekten Beweis nimmt man zunächst das Gegenteil der Behauptung an.
Führt diese Annahme zu einem Widerspruch, muss die ursprüngliche Aussage wahr sein.
Man hat eine Aussage, die bewiesen werden soll.
Man nimmt zunächst an, dass die Aussage falsch ist.
Aus dieser Annahme werden logische Konsequenzen abgeleitet.
Die Annahme führt zu einem Widerspruch zu etwas Bekanntem oder bereits Bewiesenem.
Also war die Gegenannahme falsch und die ursprüngliche Aussage ist wahr.
Annahme des Gegenteils → Widerspruch → ursprüngliche Aussage gilt