Mathematische Logik/Gemischte Definitionsabfrage/2/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die Ableitbarkeit eines Aussage aus einer Aussagenmenge in der Sprache der Aussagenlogik zu einer Aussagevariablenmenge .
  2. Eine -stellige Relation auf einer Menge .
  3. Die Folgerungsbeziehung , wobei eine Menge von -Ausdrücken und ein -Ausdruck ist (und ein Symbolalphabet.)
  4. Die Termsubstitution für -Terme (dabei sei ein Symbolalphabet einer Sprache erster Stufe, paarweise verschiedene Variablen und fixierte -Terme).
  5. Die Addition in einem Dedekind-Peano-Modell .
  6. Die Register-Entscheidbarkeit einer Teilmenge .
Zur Lösung, Alternative Lösung erstellen