Mathematische Logik/Gemischte Definitionsabfrage/1/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe. Bei 3.-7. bedeutet ein Symbolalphabet einer prädikatenlogischen Sprache erster Stufe.

  1. Ein Primzahlzwilling.
  2. Die Bestandteile einer Grundtermmenge.
  3. Eine -Struktur zu einem Symbolalphabet einer Sprache erster Stufe.
  4. Ein allgemeingültiger prädikatenlogischer Ausdruck .
  5. Ein -Homomorphismus

    zwischen zwei -Strukturen und .

  6. Eine arithmetisch repräsentierbare Relation .
Zur Lösung, Alternative Lösung erstellen