Ich bin mir nicht sicher wie die Folgende Prädikatenformel umzuformen ist, sodass kein Implikationszeichen mehr vorhanden ist.
∃x(P(x) → ∃y(B(x,y)))
Bin mir unsicher ob das Ergebnis
1. ∃x(¬P(x) v ∃y(B(x,y))
oder
2. ∀x(¬P(x) v ∃y(B(x,y))
ist oder eventuell doch eine andere Lösung (Mein Tipp wäre Lösung 1 aber bin mir wie gesagt nicht sicher).
Wäre nett wenn mir jemand helfen könnte.
