Mathematische Logik/Gemischte Definitionsabfrage/14/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die zu einer (aussagenlogischen) Wahrheitsbelegung

   $\lambda \colon V\longrightarrow \{0,1\}$

   auf einer Aussagenvariablenmenge ${}V$ zugehörige Interpretation auf der Sprache ${}L^{V}$.

2. Eine obere Schranke zu einer Teilmenge ${}J\subseteq I$ in einer geordneten Menge ${}(I,\preccurlyeq )$.
3. Eine ${}S$-Struktur zu einem Symbolalphabet ${}S$ einer Sprache erster Stufe.
4. Die Folgerungsbeziehung ${}\Gamma \vDash \alpha$, wobei ${}\Gamma$ eine Menge von ${}S$-Ausdrücken und ${}\alpha$ ein ${}S$-Ausdruck ist (und ${}S$ ein Symbolalphabet.)
5. Die ${}R$-Aufzählbarkeit einer Teilmenge ${}T\subseteq \mathbb {N}$.
6. Die Gültigkeit einer modallogischen Ausdrucksmenge ${}\Gamma$.

Zur Lösung, Alternative Lösung erstellen