Aussagenlogik/Letzter Konstruktionsschritt/Eindeutig/Aufgabe

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