Mathematische Logik/Gemischte Definitionsabfrage/18/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine Wohlordnung auf einer Menge ${}M$.
2. Eine ${}n$-stellige Relation auf einer Menge ${}M$.
3. Die Termmenge zu einer Grundtermmenge ${}(V,K,F_{n})$.
4. Ein allgemeingültiger prädikatenlogischer Ausdruck ${}\alpha \in L^{S}$.
5. Die Befehle für eine Registermaschine.
6. Die modallogische Sprache zu einer Aussagenvariablenmenge ${}V$.

Zur Lösung, Alternative Lösung erstellen