Prädikatenlogik/Satz/Gültigkeit nur von Struktur/Aufgabe
Es sei ein Satz einer erststufigen Sprache über einem Symbolalphabet . Es sei eine -Struktur mit Trägermenge gegeben und und zwei auf definierte -Interpretationen. Zeige genau dann, wenn gilt.