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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

mit

übereinstimmt. Da eine fehlt, ist dies nicht richtig und daher ist der Ausdruck bei der Interpretation nicht gültig.
Zur gelösten Aufgabe