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 ${}\neg ,\wedge ,\vee ,\rightarrow ,\leftrightarrow$ und mit Klammern „sinnvoll“ basteln kann. Man gebe eine präzise induktive Definition für die Menge ${}S$.

Eine Lösung erstellen