Mathematische Logik/Gemischte Definitionsabfrage/14/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die zu einer (aussagenlogischen) Wahrheitsbelegung

    auf einer Aussagenvariablenmenge zugehörige Interpretation auf der Sprache .

  2. Eine obere Schranke zu einer Teilmenge in einer geordneten Menge .
  3. Eine -Struktur zu einem Symbolalphabet einer Sprache erster Stufe.
  4. Die Folgerungsbeziehung , wobei eine Menge von -Ausdrücken und ein -Ausdruck ist (und ein Symbolalphabet.)
  5. Die -Aufzählbarkeit einer Teilmenge .
  6. Die Gültigkeit einer modallogischen Ausdrucksmenge .