Mathematische Logik/Gemischte Definitionsabfrage/4/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Eine Primzahl.
  2. Die Sprache der Aussagenlogik zu einer Aussagenvariablenmenge .
  3. Die Uminterpretation zu einer -Interpretation in einer Menge , wobei eine Variable und ein Element der Grundmenge ist.
  4. Der Rang eines prädikatenlogischen Ausdrucks .
  5. Eine -berechenbare Funktion
  6. Eine -Modallogik.
Zur Lösung, Alternative Lösung erstellen