Rückwärtsbeweisschritt

Ein Rückwärtsbeweisschritt ist ein Beweisschritt, bei dem man vom aktuellen Beweisziel ausgeht und es in einfachere Teilziele zerlegt.

Beispiel:

Links

• FoG-2526-FS_v4.pdf