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.
Eine Lösung erstellen