Mathematische Logik/Gemischte Definitionsabfrage/4/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine Primzahl.
2. Die Sprache der Aussagenlogik ${}L^{V}$ zu einer Aussagenvariablenmenge ${}V$.
3. Die Uminterpretation ${}I{\frac {m}{x}}$ zu einer ${}S$-Interpretation ${}I$ in einer Menge ${}M$, wobei ${}x$ eine Variable und ${}m\in M$ ein Element der Grundmenge ist.
4. Der Rang eines prädikatenlogischen Ausdrucks ${}\alpha$.
5. Eine ${}R$-berechenbare Funktion

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

6. Eine ${}K$-Modallogik.

Zur Lösung, Alternative Lösung erstellen