Mathematische Logik/Gemischte Definitionsabfrage/12/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine widersprüchsfreie Ausdrucksmenge ${}\Gamma \subseteq L^{V}$ in einer aussagenlogischen Sprache.
2. Ein größtes Element ${}x\in I$ in einer geordneten Menge ${}(I,\preccurlyeq )$.
3. Die Bestandteile einer Grundtermmenge.
4. Ein Isomorphismus

   $\varphi \colon M\longrightarrow N$

   zwischen zwei ${}S$-Strukturen ${}M$ und ${}N$.

5. Die Register-Entscheidbarkeit einer Teilmenge ${}T\subseteq \mathbb {N}$.
6. Eine ${}K$-Modallogik.

Zur Lösung, Alternative Lösung erstellen