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

Es sei $M$ eine Menge von Aussagenvariablen und $S$ die damit definierte formale Sprache, also die Menge aller formalen Ausdrücke, die man von $M$ ausgehend mittels den Junktoren $\mathrm{\neg },\wedge ,\vee ,\to ,\leftrightarrow$ und mit Klammern „sinnvoll“ basteln kann. Man gebe eine präzise induktive Definition für die Menge $S$.

Eine Lösung erstellen