Aussagenlogik/Sprache/Leeres Wort/Aufgabe/Lösung

Aus Wikiversity


Das leere Wort gehört nicht zur Sprache der Aussagenlogik, da nur die Aussagenvariablen als Startglieder in der rekursiven Definition der Sprache auftreten und in den Rekursionsschritten die Ausdrücke stets verlängert werden.