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)).

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.