Mathematische Logik/Gemischte Definitionsabfrage/20/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die Sprache der Aussagenlogik zu einer Aussagenvariablenmenge .
  2. Ein maximales Ideal in einem kommutativen Ring .
  3. Die Uminterpretation zu einer -Interpretation in einer Menge , wobei eine Variable und ein Element der Grundmenge ist.
  4. Ein Nichtstandardmodell zu einem fixierten -Modell .
  5. Eine arithmetisch repräsentierbare Relation .
  6. Die Gültigkeit eines modallogischen Ausdrucks .
Zur Lösung, Alternative Lösung erstellen