Arithmetische Sprache/Term oder nicht Term/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir betrachten die arithmetische Grundtermmenge, die aus den Konstanten und , den Variablen , , dem einstelligen Funktionssymbol und den beiden zweistelligen Funktionssymbolen und besteht. Entscheide, ob die folgenden Wörter über diesem Termalphabet Terme sind oder nicht.

  1. ,
  2. ,
  3. ,
  4. ,
  5. ,
  6. .
Schreibe diejenigen Wörter, die Terme sind, mit Klammern, , und .
Eine Lösung erstellen