Prädikatenlogik/Sprache/Ausdrücke/Korrektheit/1/Aufgabe

Es sei ${}S$ das erststufige Symbolalphabet, das aus den Variablen ${}x,y,z$, den Konstanten ${}0,c$, dem einstelligen Funktionssymbol ${}F$, den zweistelligen Funktionssymbolen ${}\alpha ,\beta$ und dem zweistelligen Relationssymbol ${}R$ bestehe. Überprüfe, ob die folgenden Wörter zur Sprache ${}L^{S}$ (bei korrekter Klammerung) gehören.

1. ${}Fx$,
2. ${}\forall x{\left(Fx=c\right)}$,
3. ${}x=w$,
4. ${}{\left(Fx=c\right)}\rightarrow {\left(\alpha \right)}$,
5. ${}{\left(Fx=c\right)}\rightarrow {\left(\neg {\left(\exists y{\left(Fx=c\right)}\right)}\right)}$,
6. ${}R0$,
7. ${}{\left(\forall z{\left(R0x\right)}\right)}\wedge {\left(\neg {\left(\beta \alpha yzy=Rcz\right)}\right)}$,
8. ${}{\left(\forall z{\left(R0x\right)}\right)}\wedge {\left(\neg {\left(\beta \alpha yzy=\beta cz\right)}\right)}$.

Eine Lösung erstellen