Mathematische Logik/Gemischte Definitionsabfrage/Erster Teil/2/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine Mersennesche Primzahl.
2. Eine widersprüchliche Ausdrucksmenge ${}\Gamma \subseteq L^{V}$ in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${}V$.
3. Die Produktmenge aus zwei Mengen ${}L$ und ${}M$.
4. Die Bestandteile einer Grundtermmenge.
5. Ein allgemeingültiger prädikatenlogischer Ausdruck ${}\alpha \in L^{S}$.
6. Die Ableitbarkeit eines Ausdrucks ${}\alpha \in L^{S}$ im prädikatenlogischen Kalkül.

Zur Lösung, Alternative Lösung erstellen