Formalisierung von einer Aussage

Question

Aufgabe:

Formalisieren Sie unter Verwendung der Menge M, als Menge aller Menschen und der Aussageform L(x, y) := ”x liebt y“ die folgende Aussage:
Jeder Mensch liebt einen anderen Menschen, aber es gibt trotzdem Menschen, die von keinem anderen Menschen geliebt werden

Problem/Ansatz:

vor allem bei dem letzten Teil: „es gibt trotzdem Menschen, die von keinem anderen Menschen geliebt werden“ hab ich meine Schwierigkeiten

Answer 1

Im anderen Worten:

Es gibt mindestens 1 Menschen, den alle anderen nicht lieben

Answer 2

„es gibt trotzdem Menschen, die von keinem anderen Menschen geliebt werden“

Es existiert y∈M mit der Eigenschaft

NICHT L(x,y) für alle x∈M.