< Aussagenlogik < Sprache < Leeres Wort < Aufgabe
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.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.