Konstant/Prädikatenlogisch/Aufgabe/Lösung

Es gibt ein ${}y\in M$ derart, dass für alle ${}x\in L$ die Gleichheit

${}F(x)=y\,$

gilt. Symbolischer:

$\exists y\in M(\forall x\in L(F(x)=y)).$

Zur gelösten Aufgabe