Vorwärtsbeweisschritt

Ein Vorwärtsbeweisschritt ist ein Beweisschritt, bei dem man von gegebenen Annahmen oder bereits hergeleiteten Aussagen ausgeht und daraus neue Aussagen gewinnt.

Beispiel:

Links

• FoG-2526-FS_v4.pdf