< Mathematische Logik < Gemischte Definitionsabfrage < 13

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Eine Wahrheitsbelegung für eine Menge an Aussagenvariablen.
  2. Eine induktiv geordnete Menge .
  3. Das Alphabet einer Sprache erster Stufe.
  4. Die Eigenschaft einer Ausdrucksmenge , Beispiele zu enthalten.
  5. Die Addition in einem Dedekind-Peano-Modell .
  6. Der modallogische Folgerungsbegriff.
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.