Aussagenlogik/Variablenmenge/Junktoren/Definition/Begriff/Inhalt

Die Sprache der Aussagenlogik ${}L^{V}$ wird rekursiv durch folgende Regeln definiert.

1. Jedes ${}p\in V$ gehört zu ${}L^{V}$.
2. Wenn ${}\alpha \in L^{V}$, so ist auch ${}\neg (\alpha )\in L^{V}$.
3. Wenn ${}\alpha ,\beta \in L^{V}$, so sind auch ${}(\alpha )\wedge (\beta ),\,(\alpha )\vee (\beta ),\,(\alpha )\rightarrow (\beta ),\,(\alpha )\leftrightarrow (\beta )\in L^{V}$.