Mathematische Logik/Gemischte Definitionsabfrage/1/Test/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Ein Primzahlzwilling.
2. Eine Wahrheitsbelegung für eine Menge an Aussagenvariablen.
3. Eine maximal widerspruchsfreie Teilmenge ${}\Gamma \subseteq L^{V}$ zu einer Menge ${}V$ an Aussagenvariablen.
4. Die Interpretation der Terme zu einem Symbolalphabet ${}S$ in einer gegebenen ${}S$-Interpretation auf einer Grundmenge ${}M$.
5. Ein allgemeingültiger prädikatenlogischer Ausdruck ${}\alpha \in L^{S}$.
6. Die Addition in einem Dedekind-Peano-Modell ${}\mathbb {N}$.

Zur Lösung, Alternative Lösung erstellen