Definiere die folgenden (kursiv gedruckten) Begriffe.

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