Aussagenlogik/Letzter Konstruktionsschritt/Eindeutig/Aufgabe

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