< Mathematische Logik < Gemischte Definitionsabfrage < 3

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
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.