Mathematische Logik/Gemischte Definitionsabfrage/12/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Eine widersprüchsfreie Ausdrucksmenge in einer aussagenlogischen Sprache.
  2. Ein größtes Element in einer geordneten Menge .
  3. Die Bestandteile einer Grundtermmenge.
  4. Ein Isomorphismus

    zwischen zwei -Strukturen und .

  5. Die Register-Entscheidbarkeit einer Teilmenge .
  6. Eine -Modallogik.
Zur Lösung, Alternative Lösung erstellen