Aussagenlogik/Letzter Konstruktionsschritt/Eindeutig/Aufgabe

Zeige, dass der letzte Konstruktionsschritt einer Aussage eindeutig bestimmt ist. Folgere, dass sich die rekursive Entstehung einer Aussage eindeutig rekonstruieren lässt.