Soll folgende Formeln auf syntaktische Korrektheit überprüfen
$$ \begin{array}{l}{\text { 1. }((a \rightarrow c) \vee(b \rightarrow \neg c))} \\ {\text { 2. } a \wedge b \vee c} \\ {\text { 3. }((a) \vee c} \\ { \text { 4. }((a) \vee(\neg \neg b)))} \\ {\text { 4. }((a \vee b) \rightarrow(a \vee c))} \\ {\text { 6. }((\neg \neg a \downarrow))} \\ {\text { 8. }((\neg \neg a \downarrow \neg b))} \\ { \text { 8. }((a \leftrightarrow b) \wedge c) \oplus(a \wedge \neg b))} \\ {\text { 9. }((a \uparrow b) \leftrightarrow(a \neg c))} \\ {\text { 11. }((a \rightarrow b) \downarrow(a \leftarrow c))} \\ {\text { 12. }(\neg(a \downarrow b) \leftrightarrow \neg \neg(a \vee b))}\end{array} $$
Würde jetzt von Anfang an aussagen, dass 6-12 nicht korrekt sind, da sie Konjunktoren enthalten, die syntaktisch nicht definiert sind.