Mathematische Logik/Gemischte Definitionsabfrage/6/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Eine Mersennesche Primzahl.
  2. Die (rekursiv definierte) Gültigkeit eines prädikatenlogischen -Ausdruckes bei einer -Interpretation auf einer Menge .
  3. Ein Isomorphismus

    zwischen zwei -Strukturen und .

  4. Die -Aufzählbarkeit einer Teilmenge .
  5. Das modallogische Transitivitätsaxiom.
  6. Die rekursive Definition der Gültigkeit eines modallogischen Ausdrucks in einem modallogischen Modell .
Zur Lösung, Alternative Lösung erstellen