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


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.