Definiere die folgenden
(kursiv gedruckten) Begriffe.
- Die
Ableitbarkeit
eines Aussage
aus einer Aussagenmenge
in der
Sprache der Aussagenlogik
zu einer Aussagevariablenmenge
.
- Eine
-stellige Relation
auf einer Menge
.
- Die
Folgerungsbeziehung
, wobei
eine Menge von
-Ausdrücken
und
ein
-Ausdruck ist
(und
ein
Symbolalphabet.)
- Die
Termsubstitution
für
-Terme
(dabei sei
ein Symbolalphabet einer
Sprache erster Stufe,
paarweise verschiedene Variablen und
fixierte
-Terme).
- Die
Addition
in einem
Dedekind-Peano-Modell
.
- Die
Register-Entscheidbarkeit
einer Teilmenge
.