Modallogik/Formale Korrektheit/1/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 \Box (q)$,
3. ${}(p)\rightarrow (\Box (q))$,
4. ${}(\Diamond (p))\rightarrow ((\Box (q))\rightarrow (r))$.

Eine Lösung erstellen