Prädikatenlogik/Interpretation/E ist mcc/Aufgabe/Lösung

Die Gültigkeit des Ausdrucks bei der Interpretation würde bedeuten, dass

${}I(E)=9000000000\,$

mit

${}I(P)(I(m),I(Q)(I(c)))=1\cdot 300000^{2}=90000000000\,$

übereinstimmt. Da eine ${}0$ fehlt, ist dies nicht richtig und daher ist der Ausdruck bei der Interpretation nicht gültig.

Zur gelösten Aufgabe