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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei das erststufige Symbolalphabet, das aus den Variablen , den Konstanten , dem einstelligen Funktionssymbol , den zweistelligen Funktionssymbolen und dem zweistelligen Relationssymbol bestehe. Überprüfe, ob die folgenden Wörter zur Sprache (bei korrekter Klammerung) gehören.

  1. ,
  2. ,
  3. ,
  4. ,
  5. ,
  6. ,
  7. ,
  8. .