Zum Inhalt springen

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.