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:

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

Zur gelösten Aufgabe