Prädikatenlogik/Interpretation/E ist mcc/Aufgabe

Es sei ${}K=\{E,m,c\}$ eine Konstantenmenge, ${}Q$ ein einstelliges Funktionssymbol und ${}P$ ein zweistelliges Funktionssymbol. Es sei ${}I$ die Interpretation mit ${}M=\mathbb {N}$ als Grundmenge, bei der ${}Q$ als Quadrieren, ${}P$ als Multiplikation und die Konstanten als ${}I(E)=9000000000$ ${}I(m)=1$ und ${}I(c)=300000$ interpretiert wird. Ist der Ausdruck

$E=PmQc$

unter dieser Interpretation gültig?

Zur Lösung, Alternative Lösung erstellen