Prädikatenlogik/Uminterpretation/Beispiel/1/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet erster Stufe mit der Variablenmenge

gegeben und eine -Interpretation in der Menge mit

Bestimme die Werte von auf .
Zur Lösung, Alternative Lösung erstellen