Hallo zusammen, ich habe ein Problem bei einer Aufgabe im Bereich der Logik. Es geht um diese Aufgabe mit der Formel (darunter steht noch eine Legende der Bezeichnungen):
Übersetzen Sie folgende Formeln in natürliche Sprache:
i. (∀x ∃y R(x, y) ∧ ∃x ∀y ∼R(x, y))
D = {d : d ist ein Mensch}
I(R) = {<d,e> : e ist Mutter von d}
Beachten Sie, dass alle Individuenvariablen aus dem gleichen Bereich, der Domain, belegt werden.
Mein Lösungsversuch wäre jetzt folgender:
Alle Menschen, die Kinder sind, haben eine biologische Mutter und es gibt Mütter, die keine biologischen Kinder haben.
Was denkt ihr? Ich hoffe sehr, dass die Frage nicht gelöscht wird. LG