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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.