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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.
Zur gelösten Aufgabe