Mathematische Logik/Gemischte Definitionsabfrage/7/Aufgabe/Lösung

< Mathematische Logik/Gemischte Definitionsabfrage/7/Aufgabe

Ein Primzahlzwilling ist ein Paar bestehend aus ${}p$ und ${}p+2$ , wobei diese beiden Zahlen Primzahlen sind.
Unter einer Wahrheitsbelegung versteht man eine Abbildung
$\lambda \colon V\longrightarrow \{0,1\}.$
Die Teilmenge ${}\Gamma \subseteq L^{V}$ heißt maximal widerspruchsfrei, wenn ${}\Gamma$ widerspruchsfrei ist und jede echt größere Menge ${}\Gamma \subset \Gamma '$ widersprüchlich ist.
Die Terminterpretation ${}I(t)\in M$ ${}I(t)\in M$ wird induktiv über den Aufbau der Terme für jeden ${}S$ ${}S$ -Term ${}t$ ${}t$ definiert.
1. Für jede Konstante ${}c$ und jede Variable ${}x$ ist die Terminterpretation durch die Interpretation bzw. die Belegung direkt gegeben, also ${}I(c)=c^{M}$ und ${}I(x)=x^{M}$ .
2. Wenn ${}t_{1},\ldots ,t_{n}$ Terme mit Interpretationen ${}I(t_{1}),\ldots ,I(t_{n})$ sind und wenn ${}f$ ein ${}n$ -stelliges Funktionssymbol ist, so wird der Term ${}ft_{1}\ldots t_{n}$ als ${}f^{M}(I(t_{1}),\ldots ,I(t_{n}))$ interpretiert.
Man nennt ${}\alpha$ allgemeingültig, wenn er in jeder ${}S$ -Interpretation ${}I$ gilt.
Ein gerichteter Graph ist eine Menge ${}M$ versehen mit einer fixierten Relation ${}R\subseteq M\times M$ .

Zur gelösten Aufgabe