1 Suchergebnis

Die Struktur des direkten Beweises besteht darin, dass aus der Voraussetzung des Satzes sowie bereits bekannten Tatsachen (Definitionen, Axiomen bzw. Sätzen) mithilfe gültiger Schlussregeln direkt die Wahrheit der Behauptung gezeigt wird.
Beim Suchen von Beweisideen können zwei Strategien helfen: das sogenannte Vorwärtsarbeiten und das sogenannte Rückwärtsarbeiten.