Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die zu einer (aussagenlogischen) Wahrheitsbelegung

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

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

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