Mathematische Logik/Gemischte Definitionsabfrage/9/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine maximal widerspruchsfreie Teilmenge ${}\Gamma \subseteq L^{V}$ zu einer Menge ${}V$ an Aussagenvariablen.
2. Die rekursive Definition für die Ausdrücke in einer Sprache erster Stufe.
3. Die Interpretation der Terme zu einem Symbolalphabet ${}S$ in einer gegebenen ${}S$-Interpretation auf einer Grundmenge ${}M$.
4. Ein atomarer Ausdruck in der Prädikatenlogik.
5. Eine ${}R$-berechenbare Funktion

   $F\colon \mathbb {N} ^{k}\longrightarrow \mathbb {N} .$

6. Das modallogische Reflexivitätsaxiom.

Zur Lösung, Alternative Lösung erstellen