Mathematische Logik/Gemischte Definitionsabfrage/13/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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