Prädikatenlogik/Interpretation/E ist mcc/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Konstantenmenge, ein einstelliges Funktionssymbol und ein zweistelliges Funktionssymbol. Es sei die Interpretation mit als Grundmenge, bei der als Quadrieren, als Multiplikation und die Konstanten als und interpretiert wird. Ist der Ausdruck

unter dieser Interpretation gültig?
Zur Lösung, Alternative Lösung erstellen