Mathematische Logik/Gemischte Definitionsabfrage/3/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die Termmenge zu einer Grundtermmenge .
  2. Eine maximal widerspruchsfreie prädikatenlogische Ausdrucksmenge .
  3. Die Multiplikation mit in einem Dedekind-Peano-Modell .
  4. Die Befehle für eine Registermaschine.
  5. Das modallogische Löb-Axiom.
  6. Ein modallogisches Modell.
Zur Lösung, Alternative Lösung erstellen