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

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine Mersennesche Primzahl.
2. Eine widersprüchliche Ausdrucksmenge $\mathrm{\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