Mathematische Logik/Gemischte Definitionsabfrage/8/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine widersprüchliche Ausdrucksmenge ${}\Gamma \subseteq L^{V}$ in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${}V$.
2. Die Produktmenge aus zwei Mengen ${}L$ und ${}M$.
3. Die Ableitbarkeit eines Ausdrucks ${}\alpha \in L^{S}$ im prädikatenlogischen Kalkül.
4. Die Repräsentierbarkeit einer Funktion

   $F\colon \mathbb {N} ^{r}\longrightarrow \mathbb {N} ^{s}$

   in einer Menge ${}\Gamma$ von arithmetischen Ausdrücken.

5. Das modallogische Möglichkeitsaxiom.
6. Die Nachfolgermenge in einem gerichteten Graphen.

Zur Lösung, Alternative Lösung erstellen