Aussagenlogik/Formale Sprache über Variablenmenge/Präzise Definition/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Menge von Aussagenvariablen

und die damit definierte formale Sprache, also die Menge aller formalen Ausdrücke, die man von ausgehend mittels den Junktoren und mit Klammern „sinnvoll“ basteln kann. Man gebe eine präzise induktive Definition für die Menge .