Mathematische Logik/Gemischte Definitionsabfrage/18/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Eine Wohlordnung auf einer Menge .
  2. Eine -stellige Relation auf einer Menge .
  3. Die Termmenge zu einer Grundtermmenge .
  4. Ein allgemeingültiger prädikatenlogischer Ausdruck .
  5. Die Befehle für eine Registermaschine.
  6. Die modallogische Sprache zu einer Aussagenvariablenmenge .