Prädikatenlogik/Satz/Gültigkeit nur von Struktur/Aufgabe

Es sei ${}\alpha \in L_{0}^{S}$ ein Satz einer erststufigen Sprache über einem Symbolalphabet ${}S$. Es sei eine ${}S$-Struktur mit Trägermenge ${}M$ gegeben und ${}I_{1}$ und ${}I_{2}$ zwei auf ${}M$ definierte ${}S$-Interpretationen. Zeige ${}I_{1}\vDash \alpha$ genau dann, wenn ${}I_{2}\vDash \alpha$ gilt.

Eine Lösung erstellen