Prädikatenlogik/Ausdruck/Substitution/Gültigkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet einer Sprache erster Stufe gegeben, und eine Interpretation mit . Zeige durch ein Beispiel, dass daraus nicht im Allgemeinen die Gültigkeit unter einer Substitution

folgt.