Modallogik/Formale Korrektheit/2/Aufgabe

Überprüfe, um die folgenden Wörter korrekt gebildete (einschließlich Klammerung) modallogische Ausdrücke sind.

1. ${}\Box ((p)\wedge (q)$,
2. ${}(p)\rightarrow \Diamond ((q)\vee (r))$,
3. ${}(\Box (\Box ((p))))\rightarrow (\Box (q))$,
4. ${}((\Diamond (p))\rightarrow ((\Box (q))\rightarrow (r)))$.

Eine Lösung erstellen